224 search results - page 22 / 45 » Transformations between Cryptographic Protocols |
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
CIKM
2009
Springer
14 years 4 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
ICCD
2000
IEEE
14 years 1 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
EUROSEC
2009
ACM
14 years 4 months ago
2009
ACM
We present application-based TCP hijacking (ABTH), a new attack on TCP applications that exploits flaws due to the interplay between TCP and application protocols to inject data ...