IFIP – The International Federation for Information Processing
DOI: 10.1007/978-0-387-09428-1_5
|View full text |Cite
|
Sign up to set email alerts
|

An Intensional Functional Model of Trust

Abstract: Computers have been in use for many years to build high confidence systems in safety-critical domains such as aircraft control, space transportation and exploration, and nuclear power plant management. However, due to the recent rush in developing ubiquitous and pervasive computing applications and a demand from across the world to access information from shared sources, the mosaic of computing ecosystem has undergone a radical change. It is in this context that computing has to be made trustworthy. To build a… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
10
0

Publication Types

Select...
3
2

Relationship

2
3

Authors

Journals

citations
Cited by 7 publications
(10 citation statements)
references
References 10 publications
0
10
0
Order By: Relevance
“…Contexts, formalized as above, become first class objects by themselves, and can be subject to formal laws which in turn leads to a verifiable toolkit implementation. In our previous works [1], [20] we have shown the importance of context formalism in enforcing privacy and defining trust. The semantics of contexts and context calculus developed in [21] can be used to calculate contexts and evaluate context expressions.…”
Section: B Modeling Awarenessmentioning
confidence: 99%
See 3 more Smart Citations
“…Contexts, formalized as above, become first class objects by themselves, and can be subject to formal laws which in turn leads to a verifiable toolkit implementation. In our previous works [1], [20] we have shown the importance of context formalism in enforcing privacy and defining trust. The semantics of contexts and context calculus developed in [21] can be used to calculate contexts and evaluate context expressions.…”
Section: B Modeling Awarenessmentioning
confidence: 99%
“…1 Depending on the domain need it is possible that additional dimensions are also used for contexts. We use in this paper the formal aspects of context developed by Wan [20], [21], and include context as first class architectural element. Contexts, formalized as above, become first class objects by themselves, and can be subject to formal laws which in turn leads to a verifiable toolkit implementation.…”
Section: B Modeling Awarenessmentioning
confidence: 99%
See 2 more Smart Citations
“…Context related information has been represented as Context-aware domains [20], Intensional Programming [31], Multi-dimensional goals [8], Clustering [25], and Ontologies [29].…”
Section: Related Researchmentioning
confidence: 99%