SSEL: An Extensible Specification Language for SoC Security.
Kshitij RajArrush HegdeAtul Prasad Deb NathSwarup BhuniaSandip RayPublished in: AsianHOST (2021)
Keyphrases
- specification language
- programming language
- formal specification
- description language
- security requirements
- security issues
- intrusion detection
- symbolic execution
- information security
- requirements specification
- hardware and software
- object oriented
- access control
- security policies
- general purpose
- software environment
- model checking
- fine grained
- low power
- low cost
- artificial intelligence
- functional requirements
- real world
- databases
- database