Unused, some outer edges have minor scuffs, cover has light scratches, some outer pages have marks from shelf wear, book content is in like new condition.

Seller Inventory # 102046-5

Contact seller

Report this item

Bibliographic Details

Title

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial (Foundations and Trends (R) in Programming Languages): 2 (Foundations and Trends� in Programming Languages) [Paperback] Cortier, V�ronique and Kremer, Steve

Publisher

Now Publishers

Publication Date

2014

Language

English

ISBN 10

1601989024

ISBN 13

9781601989024

Binding

Soft cover

Condition

Very Good

Seller catalogs

About this title

Synopsis

Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking, and more recently electronic elections. Given the financial and societal impact in case of failure and the long history of design flaws in such protocols, formal verification is a necessity. A major difference from other safety critical systems is that the properties of security protocols must hold in the presence of an arbitrary adversary. Formal Models and Techniques for Analyzing Security Protocols: A Tutorial provides the reader with a tutorial on some modern techniques to model and automatically analyze security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results. The tutorial can be used as a basis for a master or graduate course on the topic, or as a primer for researchers from different areas to get an overview of the kinds of techniques that are available.

"About this title" may belong to another edition of this title.

Store Description

In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com

Visit Seller's Storefront

Seller's business information

Hay-on-Wye Booksellers
14 High Town, Hay-on-Wye, HR3 5AE, United Kingdom

Sale & Shipping Terms

Terms of Sale

Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	19 to 31 business days	19 to 29 business days
First item	US$ 88.12	US$ 135.57

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.