3821 search results - page 191 / 765 » A Security Model for Aglets |
ACSAC
2001
IEEE
14 years 26 days ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor
JUCS
2007
13 years 9 months ago
2007
At Eurocrypt 2005, Boneh, Boyen and Goh presented a constant size ciphertext hierarchical identity based encryption (HIBE) protocol. Our main contribution is to present a variant ...