718 search results - page 37 / 144 » Operational Semantics of Security Protocols |
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Wireless sensor networks based on highly resource-constrained devices require symmetric cryptography in order to make them secure. Integral to this is the exchange of unique symme...
SRDS
2007
IEEE
14 years 2 months ago
2007
IEEE
The increasing complexity and dynamics of grid environments have posed great challenges for secure and privacy-preserving collaboration in a virtual organization. In this paper, w...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we propose a new approach to secure and easy-to-use remote access to networked appliances (NAs). Based on the proposed approach, we develop a system in which servers...
SIGCOMM
1997
ACM
14 years 1 days ago
1997
ACM
Datagram services provide a simple,
exible, robust, and communication abstraction; their usefulness has been well demonstrated by the success of IP, UDP, and RPC. Yet, the overwh...
JCS
2010
13 years 6 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...