Compositional Logic for Proof of Correctness of Proposed UDT Security Mechanisms.
Danilo Valeros BernardoDoan B. HoangPublished in: AINA (2012)
Keyphrases
- security mechanisms
- proof theory
- security issues
- resource constrained
- linear logic
- access control
- smart card
- natural deduction
- security requirements
- security systems
- security problems
- operating system
- security services
- proof search
- public key infrastructure
- payment systems
- cryptographic algorithms
- security protocols
- sequent calculus
- theorem prover
- modal logic
- theorem proving
- security measures
- information security
- low cost
- database
- databases