460 search results - page 7 / 92 » Heuristic Methods for Security Protocols |
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
FM
2003
Springer
14 years 25 days ago
2003
Springer
HCI
2007
13 years 9 months ago
2007
The paper proposes an approach to comparative usability evaluation that incorporates important relevant criteria identified in previous work. It applies the proposed approach to a ...
ICFEM
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...