573 search results - page 29 / 115 » Security Analysis of Voice-over-IP Protocols |
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
VOTEID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
ENTCS
2008
14 years 10 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...