Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540681342
Condition
New
Product Description

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis, the Inductive Method in the theorem prover Isabelle, turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Geronimo Stilton: Treasures of the Maya

$6.74

Erziehung und soziale Milieus

$89.99

Arterial Disorders

$109.99

The Chimpanzees of Bossou and Nimba

$169.00

Agent-Oriented Information Systems

$54.99

Plant Breeding

$259.00

Tailoring Genes for Crop Improvement

$109.99

Finsteraarhornfahrt

$59.99

Disruptive Technologies for the Militaries and Security

$149.00

Steuergestaltung und Grenzpreisbildung beim Kapitalgesellschaftskauf

$59.99

Dynamics of Robots with Contact Tasks

$169.99

Legacy, Sustainability and CSR at Mega Sport Events

$54.99

Advances in Simulation, Product Design and Development

$129.00

Phenomenological Approaches to Physics

$109.00

The Silver Eyes: Five Nights at Freddy's (Five Nights at Freddy's Graphic Novel #1) (Hardcover)

$18.74

Strategischer Wettbewerb im Weltraum

$89.99

Preventing Crime and Violence

$149.00

Shichigosan

$39.99

Anwendungen radioaktiver Isotope in der Technik

$59.99

Heat Transfer in Radiating and Combusting Systems

$84.99

Wicklungen Elektrischer Maschinen und Ihre Herstellung

$79.99

Advances in Yersinia Research

$219.99

Delir und Delirprophylaxe in der Intensivmedizin

$84.99

Molecule Microarrays

$89.00

Advances in Communications and Signal Processing

$39.99

Soziale Arbeit und Migration

$69.99

Brgerrechte im Netz

$59.99

Was hlt Partnerschaften zusammen?

$49.99

Biologische Psychiatrie

$69.99

Limnology of a Malayan River Sungai Gombak

$39.99

Epitaktische Schichten: Neue Strukturen und Phasenbergnge. Der Austauschfeder-Magnet: Ein neus Mat

$59.99

Alterspsychiatrie

$49.99

Nutzungsweisen bei der Verwendung von Tablet-Apps

$64.99

Einfhrung in die Programmiersprache C

$69.99

The Welfare State, Globalization, and International Law

$109.99

Dynamic Decoupling of Robot Manipulators

$109.00

Introduction to Biometry

$109.99

Integration of Pharmacokinetics, Pharmacodynamics, and Toxicokinetics in Rational Drug Development

$99.00

Recent Advances in Biological Psychiatry

$84.99

From Thoracic Surgery to Interventional Pulmonology

$169.99