RSVP Security Properties.

Hannes Tschofenig Richard Graveman

Published in: RFC (2005)

Keyphrases

security properties
security requirements
formal model
security analysis
security protocols
cryptographic protocols
security vulnerabilities
formal methods
key agreement
data mining
artificial intelligence
knowledge base
knowledge representation
data management
access control