3821 search results - page 135 / 765 » A Security Model for Aglets |
EUROCRYPT
2006
Springer
14 years 22 days ago
2006
Springer
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
AICT
2006
IEEE
14 years 3 months ago
2006
IEEE
The inherent freedom due to a lack of central authority in self-organized mobile ad hoc networks introduces challenges for security and trust management. Arguably, trust managemen...
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...