1653 search results - page 57 / 331 » Timed analysis of security protocols |
ITRE
2005
IEEE
14 years 1 months ago
2005
IEEE
RSVP and RSVP-TE are signaling protocols used to set up paths and/or support Quality of Service (QoS) requirements in IP and MPLS-based networks, respectively. This paper analyzes...
PKC
2009
Springer
14 years 8 months ago
2009
Springer
A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed unde...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Many of the routing protocols that have been designed for wireless ad-hoc networks focus on energy-efficiency and guaranteeing high throughput in a non-adversarial setting. Howev...
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
JUCS
2008
13 years 7 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...