Specification and Verification of Side Channel Declassification
Josef SvenningssonDavid SandsPublished in: CoRR (2009)
Keyphrases
- formal verification
- asynchronous circuits
- protocol specification
- formal methods
- model checking
- formal specification
- countermeasures
- concurrent systems
- high level
- face verification
- formal analysis
- user defined
- information systems
- conceptual model
- neural network
- specification language
- signature verification
- data structure
- formal language
- person identification
- fingerprint verification
- similarity measure
- reactive systems
- provably correct
- verification method
- colored petri nets
- learning algorithm