|
Showing 1 - 1 of
1 matches in All Departments
This Festschrift was published in honor of Joshua Guttman on the
occasion of his 66.66 birthday. The impact of his work is reflected
in the 23 contributions enclosed in this volume. Joshua's most
influential and enduring contribution to the field has been the
development of the strand space formalism for analyzing
cryptographic protocols. It is one of several "symbolic approaches"
to security protocol analysis in which the underlying details of
cryptographic primitives are abstracted away, allowing a focus on
potential flaws in the communication patterns between participants.
His attention to the underlying logic of strand spaces has also
allowed him to merge domain-specific reasoning about protocols with
general purpose, first-order logical theories. The identification
of clear principles in a domain paves the way to automated
reasoning, and Joshua has been a leader in the development and
distribution of several tools for security analysis.
|
You may like...
Malma Station
Alex Schulman
Paperback
R415
R279
Discovery Miles 2 790
Only The Brave
Danielle Steel
Paperback
R365
R260
Discovery Miles 2 600
Still Life
Sarah Winman
Paperback
R358
Discovery Miles 3 580
Misverstand
Marita van der Vyver
Paperback
(2)
R320
R250
Discovery Miles 2 500
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.