48 search results - page 2 / 10 » Secure Data Flow in a Calculus for Context Awareness |
122
click to vote
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
Context-aware pervasive-computing applications require continuous monitoring of their physical and computational environment to make appropriate adaptation decisions in time. The ...
211
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
109
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
121
click to vote
IJISEC
2007
15 years 1 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
165
Voted
TRUSTBUS
2010
Springer
15 years 1 days ago
2010
Springer
: Context-Aware Privacy Design Pattern Selection Siani Pearson, Yun Shen HP Laboratories HPL-2010-74 Privacy, Design Patterns, Context Awareness User-related contextual factors...