Skip to content
Book Glossary
Cover of Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

by Alessandro Armando

Computer networksData encryption (Computer science)Computer scienceSoftware engineeringComputer softwareFormal methods (Computer science)CongressesComputer security
Writing a summary for young readers…

For young readers

Book data: Open Library