718 search results - page 61 / 144 » Operational Semantics of Security Protocols |
131
Voted
ICDCS
2002
IEEE
15 years 7 months 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...
159
Voted
AINA
2007
IEEE
15 years 4 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...
105
click to vote
ICC
2009
IEEE
15 years 9 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...
94
Voted
ASIACRYPT
2000
Springer
15 years 7 months 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...
122
Voted
CORR
2010
Springer
15 years 2 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...