-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
Browse through the navigation bar
-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
by Joshua D. Guttman and others
$111.38
Spend another {0} to pay with
or 4 easy payments of $27.84 with
This item qualifies your order for FREE DELIVERY
Paperback
Pub: 28/04/2019
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… more NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification. less
Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her… more NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributions authored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification. less
- ISBN:
- 9783030190514
- 9783030190514
- Category:
- Computer security
- Format:
- Paperback
- Publication Date:
- 28-04-2019
- Publisher:
- Springer Nature Switzerland AG
- Country of origin:
- Switzerland
- Pages:
- 239
- Dimensions:
- 235x155mm
- Weight:
- 0.45kg
This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days
Reviews
This product has no reviews yet.
Thanks for reviewing Foundations of Security. We will process your review. Accepted reviews will be posted within 3-7 business days.
You can find this item in:
You are buying a backorder title
×Be the first to know, stay up to date with what's trending and get staff picks in your inbox with our newsletter
Follow Us
Secured by:
Copyright 2025. All rights reserved.
Share This Book