659 search results - page 29 / 132 » Compiling and securing cryptographic protocols |
102
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
96
Voted
COMCOM
2000
15 years 7 days ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
86
Voted
COMCOM
2000
15 years 7 days ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
119
click to vote
ISICT
2003
15 years 1 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
100
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...