3115 search results - page 1 / 623 » Synthesizing Secure Protocols |
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
FORTE
2008
13 years 6 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
SP
2010
IEEE
13 years 8 months ago
2010
IEEE
ICCD
1991
IEEE
13 years 8 months ago
1991
IEEE
ICDE
2008
IEEE
13 years 11 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...