| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Modeling and Verifying Security Protocols with the Applied P...(Paperback)
now publishers Inc
Published:
31/10/2016
This survey focuses on the verification of specifications of protocols in the symbolic model. This level of verification is relevant in practice as it enables the discovery of many attacks. ProVerif...
|
|
|
2.
|
|
|
Expressing Information Flow Properties(Paperback / softback)
Published:
19/01/2022
This concise overview of such a diverse topic provides the reader with an invaluable reference when implementing security technologies into all types of information systems. It is particularly usefu...
|
|
|
3.
|
|
|
Assured Autonomy Survey(Paperback / softback)
Published:
27/07/2022
This monograph discusses assurance for autonomous systems, the different approaches to assuring autonomy, formal analysis, cybersecurity, certification and research challenges, and it is intended fo...
|
|
|
4.
|
|
|
5.
|
|
|
Hardware Platform Security for Mobile Devices(Paperback / softback)
Published:
07/06/2022
As the mobile platforms which enable device use gradually opened, platform security mechanisms were incorporated into their architectures so that the security and privacy requirements could be met. ...
|
|
|
Select All |
|
|
|