2162 search results - page 182 / 433 » A Meta-Notation for Protocol Analysis |
161
click to vote
COMPSAC
2009
IEEE
16 years 23 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
138
click to vote
NDSS
2007
IEEE
16 years 8 days ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
138
click to vote
ISCC
2007
IEEE
16 years 8 days ago
2007
IEEE
— It is possible to show that well-known attacks on authentication protocols are flawed. This is a problem, since good protocols may thus be dismissed rather than improved and p...
166
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
180
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...