526 search results - page 82 / 106 » A Z Based Approach to Verifying Security Protocols |
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose and analyze a scalable and efficient region-based group key management protocol for secure group communications in mobile ad hoc networks. For scalability and dynamic r...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Signature-based schemes for detecting Internet worms often fail on zero-day worms, and their ability to rapidly react to new threats is typically limited by the requirement of som...
AGENTS
1997
Springer
13 years 12 months ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
SICHERHEIT
2010
13 years 5 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...