576 search results - page 69 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
NDSS
2007
IEEE
14 years 3 months 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...
RAID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
SRDS
2008
IEEE
14 years 3 months ago
2008
IEEE
Unattended Wireless Sensor Networks (UWSNs) are composed of many small resource-constrained devices and operate autonomously, gathering data which is periodically collected by a v...
AFRICACRYPT
2009
Springer
14 years 26 days ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...