Certified Security by Design Using Higher Order Logic
Publisher: Taylor & Francis Group
Published: 2021
Language: eng
ISBN-13: 9781138062184
Subjects: Computer security; Logic, symbolic and mathematical