5255 search results - page 54 / 1051 » Formal Methods for Privacy |
IEEEARES
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
IEEEARES
2010
IEEE
14 years 5 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...
TRUSTBUS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
ESORICS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...