Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic.

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her N...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Guttman, Joshua D. (Editor), Landwehr, Carl E. (Editor), Meseguer, José (Editor), Pavlovic, Dusko (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Security and Cryptology ; 11565
Springer eBook Collection.
Subjects:
Data protection.
Computer organization.
Computers and civilization.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items