5255 search results - page 48 / 1051 » Formal Methods for Privacy |
FM
2008
Springer
13 years 11 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
SOUPS
2010
ACM
13 years 8 months ago
2010
ACM
Recent years have seen a proliferation of secure device pairing methods that try to improve both the usability and security of today's de-facto standard
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...