Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal correctness security protocols von bella giampaolo (29 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (29)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (27)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (12)
- Keine Print-on-Demand Angebote (24)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: New. pp. 296.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 25,99
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 296 62 Illus.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 296.
-
Formal Correctness Of Security Protocols (Hb)
Buch 1 von 25: Information Security and CryptographyAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,62
EUR 2,29 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,30
EUR 3,47 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,30
EUR 3,47 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 62,04
EUR 2,29 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Correctness of Security Protocols (Hardcover)
Buch 1 von 25: Information Security and CryptographyVerlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540681345 ISBN 13: 9783540681342
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,59
EUR 13,63 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,57
EUR 17,07 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New. pp. 296.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,38
EUR 17,07 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Correctness of Security Protocols (Hardback or Cased Book)
Buch 1 von 25: Information Security and CryptographyAnbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardback or Cased Book. Zustand: New. Formal Correctness of Security Protocols. Book.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,17
EUR 13,63 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Correctness of Security Protocols (Information Security and Cryptography)
Buch 1 von 25: Information Security and CryptographyAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,36
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 274 pages. 9.00x6.00x0.67 inches. In Stock.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 74,30
EUR 17,63 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540681345 ISBN 13: 9783540681342
Sprache: Englisch
EUR 61,95
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. First title to offer a full treatment of formal correctness of security protocolsThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, sm.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642087825 ISBN 13: 9783642087820
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Taschenbuch. Zustand: Neu. Formal Correctness of Security Protocols | Giampaolo Bella | Taschenbuch | xx | Englisch | 2010 | Springer Berlin | EAN 9783642087820 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Correctness of Security Protocols (Hardcover)
Buch 1 von 25: Information Security and CryptographyVerlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540681345 ISBN 13: 9783540681342
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540681345 ISBN 13: 9783540681342
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642087825 ISBN 13: 9783642087820
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 296 pp. Englisch.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 79,20
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 296 62 Illus.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 296.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642087825 ISBN 13: 9783642087820
Sprache: Englisch
EUR 47,23
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First title to offer a full treatment of formal correctness of security protocolsThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, sm.
-
Formal Correctness of Security Protocols
Buch 1 von 25: Information Security and CryptographyVerlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642087825 ISBN 13: 9783642087820
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.
