1106 search results - page 34 / 222 » Automated Design of Security Protocols |
NDSS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
JNW
2008
13 years 9 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...
AINA
2006
IEEE
14 years 4 months ago
2006
IEEE
MIS (Mobile Internet Services) architecture is designed for secure connection and fast handover with wireless LAN. This architecture consists of three protocols, MISP (Mobile Inte...