48 search results - page 7 / 10 » Secure Data Flow in a Calculus for Context Awareness |
IHI
2010
14 years 6 months ago
2010
Modern information technology is increasingly used in healthcare with the goal to improve and enhance medical services and to reduce costs. In this context, the outsourcing of com...
ESORICS
2010
Springer
15 years 21 days ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
GI
2001
Springer
15 years 4 months ago
2001
Springer
—The rapid advances in a wide range of wireless access technologies along with an industry-wide IP-convergence have set up the stage for context-aware computing. The “locationâ...
100
click to vote
CCS
1998
ACM
15 years 3 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
120
Voted
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...