Specification and Verification of Side Channel Declassification.
Josef SvenningssonDavid SandsPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- protocol specification
- model checking
- formal specification
- high level
- countermeasures
- information systems
- concurrent systems
- neural network
- verification method
- colored petri nets
- data sets
- user defined
- petri net
- real time
- face verification
- relational databases
- functional verification