AboutCommunication, Networking and Broadcast Technologies; Components, Circuits, Devices and Systems; Computing and Processing
Keywords:Formal verification,Computer security,Data Security,Information Security,Cryptography,Cryptographic protocols,Access Control,
Scope:Theoretical foundations of computer security and privacy
Sponsor Type:1