Designing Secure Communication Protocols from Trust Specification.

Christos H. Papadimitriou P. Venkat Rangan Martha Sideri

Published in: Algorithmica (1994)

Keyphrases

communication protocols
protocol specification
process algebra
trust model
communication protocol
security services
protocol stack
trusted computing
communication networks
formal specification
trust relationships
public key infrastructure
neural network
data processing
formal methods