Transport Level Security: a proof using the Gong-Needham-Yahalom Logic
Walter EavesPublished in: CoRR (1999)
Keyphrases
- linear logic
- information security
- proof theory
- security level
- intrusion detection
- modal logic
- theorem proving
- natural deduction
- logical rules
- proof search
- levels of abstraction
- security issues
- multi valued
- automated theorem proving
- logic programming
- security problems
- proof theoretic
- classical logic
- proof procedure
- asynchronous circuits
- predicate logic
- application level
- information systems
- statistical databases
- security policies
- network security
- database systems