Timed Automata as a Verification Tool for Security Protocols: An Analysis on a Case Study

 
9783844394603: Timed Automata as a Verification Tool for Security Protocols: An Analysis on a Case Study
View all copies of this ISBN edition:
 
 

Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model.

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

About the Author:

Burcu Külahçıoğlu, M.S.: Studied B.S. in Computer Engineering at Yeditepe University. Obtained M.S. degree from İzmir Institute of Technology. Research interests include Theory of Timed Automata, Modeling and Verification of Real Time Systems and Theoretical Foundations of Computer Science. Research Assistant at Yasar University, Izmir.

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

Buy New View Book
List Price: US$ 69.00
US$ 48.09

Convert Currency

Shipping: US$ 7.96
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Burcu K Lah O Lu (author)
Published by LAP Lambert Academic Publishing 2011-05-24 (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing 2011-05-24, 2011. paperback. Condition: New. Seller Inventory # 9783844394603

More information about this seller | Contact this seller

Buy New
US$ 48.09
Convert Currency

Add to Basket

Shipping: US$ 7.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Külahç o lu, Burcu
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: Dictus Publishing | An Analysis on a Case Study | Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model. | Format: Paperback | Language/Sprache: english | 104 pp. Seller Inventory # K9783844394603

More information about this seller | Contact this seller

Buy New
US$ 53.89
Convert Currency

Add to Basket

Shipping: US$ 3.49
From Germany to U.S.A.
Destination, Rates & Speeds

3.

K. Lah O. Lu, Burcu
Published by LAP Lambert Academic Publishing (2016)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783844394603_lsuk

More information about this seller | Contact this seller

Buy New
US$ 61.91
Convert Currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Burcu K Lah O Lu
Published by LAP Lambert Academic Publishing (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2011. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783844394603

More information about this seller | Contact this seller

Buy New
US$ 56.25
Convert Currency

Add to Basket

Shipping: US$ 11.94
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Burcu K Lah O Lu
Published by LAP Lambert Academic Publishing (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2011. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783844394603

More information about this seller | Contact this seller

Buy New
US$ 65.24
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Burcu Külahçioglu
Published by LAP Lambert Acad. Publ. Mai 2011 (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description LAP Lambert Acad. Publ. Mai 2011, 2011. Taschenbuch. Condition: Neu. Neuware - Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model. 104 pp. Englisch. Seller Inventory # 9783844394603

More information about this seller | Contact this seller

Buy New
US$ 58.87
Convert Currency

Add to Basket

Shipping: US$ 19.98
From Germany to U.S.A.
Destination, Rates & Speeds

7.

Burcu Külahçioglu
Published by LAP Lambert Acad. Publ. Mai 2011 (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description LAP Lambert Acad. Publ. Mai 2011, 2011. Taschenbuch. Condition: Neu. Neuware - Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model. 104 pp. Englisch. Seller Inventory # 9783844394603

More information about this seller | Contact this seller

Buy New
US$ 58.87
Convert Currency

Add to Basket

Shipping: US$ 19.98
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Burcu Külahçıoğlu
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Quantity Available: 5
Seller:
ReadWhiz
(Portland, OR, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # ria9783844394603_ing

More information about this seller | Contact this seller

Buy New
US$ 81.69
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Burcu K Lah O Lu, Burcu Kulahc O Lu
Published by LAP Lambert Academic Publishing, Germany (2011)
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Paperback Quantity Available: 1
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, Germany, 2011. Paperback. Condition: New. Language: English . Brand New Book. Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model. Seller Inventory # KNV9783844394603

More information about this seller | Contact this seller

Buy New
US$ 88.29
Convert Currency

Add to Basket

Shipping: US$ 3.97
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Burcu Külahçioglu
Published by LAP Lambert Academic Publishing
ISBN 10: 3844394605 ISBN 13: 9783844394603
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishing. Paperback. Condition: New. 104 pages. Dimensions: 8.7in. x 5.9in. x 0.2in.Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early nineties, it has become an important research area and been widely studied in both the context of formal languages and modeling and verification of real time systems. Timed automata use dense time modeling, allowing efficient model checking of time-sensitive systems whose correct functioning depend on the timing properties. One of these application areas is the verification of security protocols. This book focuses on the timed automata model and utilizes it as a verification tool for security protocols. As a case study, the Neuman-Stubblebine Repeated Authentication Protocol is modeled and verified employing the time-sensitive properties in the model. The flaws of the protocol are analyzed and it is commented on the benefits and challenges of the model. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783844394603

More information about this seller | Contact this seller

Buy New
US$ 98.32
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds