752 search results - page 30 / 151 » Abstract models for dialogue protocols |
157
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
120
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
125
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
156
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. There have been many proposals in recent years for passwordauthenticated key exchange protocols. Many of these have been shown to be insecure, and the only ones that seem...
