61 search results - page 8 / 13 » On the Automatic Analysis of Recursive Security Protocols wi... |
DSOM
2006
Springer
13 years 11 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransm...
IACR
2011
12 years 7 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
IWIA
2005
IEEE
14 years 28 days ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...