Specification and verification of security in reconfigurable scan networks.
Michael A. KochteMatthias SauerLaura Rodríguez GómezPascal RaiolaBernd BeckerHans-Joachim WunderlichPublished in: ETS (2017)
Keyphrases
- protocol specification
- high security
- asynchronous circuits
- formal verification
- low cost
- social networks
- integrity verification
- formal methods
- enterprise network
- java card
- general purpose
- interconnection networks
- communication protocols
- security issues
- formal specification
- network structure
- network analysis
- information security
- security requirements
- access control
- model checking
- verification method
- cryptographic protocols
- heterogeneous networks
- network security
- computer networks
- security systems
- network traffic
- complex networks
- security protocols
- specification language
- high assurance
- security policies