263 search results - page 43 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
HPDC
1999
IEEE
13 years 11 months ago
1999
IEEE
Seamless access to different systems of different vendors at different sites is an important prerequisite to effective and efficient use of distributed resources. Learning about n...
SASN
2004
ACM
14 years 27 days ago
2004
ACM
As sensor-driven applications become increasingly integrated into our lives, issues related to sensor privacy will become increasingly important. Although many privacy-related iss...