3088 search results - page 204 / 618 » Multichannel Security Protocols |
ACSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
A large number of papers have proposed cryptographic protocols for establishing secure group communication. These protocols allow group members to exchange or establish keys to en...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a new commerce protocol that allows customers and merchants to conduct face-to-face creditcard authorizations with a credit card company securely with the option of ano...
INFORMATICALT
2007
13 years 10 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
COMCOM
2002
13 years 10 months ago
2002
With the phenomenal growth of the Internet and open networks in general, security services, such as non-repudiation, become crucial to many applications. Nonrepudiation services m...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...