ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies.

Atul Prasad Deb Nath Swarup Bhunia Sandip Ray

Published in: ISVLSI (2018)

Keyphrases

formal verification
security policies
access control
model checking
ubiquitous computing environments
management system
object oriented
network security
model checker
access control mechanism
databases
distributed systems
security management