554 search results - page 36 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
ANSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
FC
2006
Springer
13 years 11 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
WMASH
2004
ACM
14 years 1 months ago
2004
ACM
In recent years, wireless Internet service providers (WISPs) have established thousands of WiFi hot spots in cafes, hotels and airports in order to offer to travelling Internet u...
CSFW
1999
IEEE
14 years 1 days ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...