718 search results - page 61 / 144 » Operational Semantics of Security Protocols |
ICDCS
2002
IEEE
14 years 26 days ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
AINA
2007
IEEE
13 years 9 months ago
2007
IEEE
In mobile ad hoc networks (MANETs), multi-hop message relay is the common way for nodes to communicate and participate in network operations, making routing a primary issue. The e...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—The IETF working group Next Steps in Signaling (NSIS) develops signaling protocols for Quality-of-Service (QoS) reservations or dynamic NAT and firewall (NAT/FW) configuration...
ASIACRYPT
2000
Springer
14 years 8 days ago
2000
Springer
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...