Gesamtpreis (1 Artikel Artikel):
Versandziel:
mauw (37 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (37)
- 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 (32)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (20)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Concurrency theory: 10th international conference ; proceedings. Lecture notes in computer science; Vol. 1664.
Sprache: Englisch
Verlag: Berlin, Springer., 1999
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Wie neu. XI, 572 S.: with figures, 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 830.
-
Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink
Buch 28 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge : Cambridge University Press, 1993
ISBN 10: 0521418836 ISBN 13: 9780521418836
Erstausgabe
First Edition. Near fine copy in the original colour-printed boards. Slightest suggestion only of dust-dulling to the spine bands and panel edges. Remains particularly well-preserved overall; tight, bright, clean and strong. Physical description; xi, 197 pages. Notes; Includes bibliographical references and indexes. Contents; 1. Introduction / S. Mauw and G.J. Veltink -- 2. Algebraic Specifications in PSF / G.J. Veltink -- 3. Simple Protocols / J.J. van Wamel -- 4. Sliding Window Protocols / J.J. Brunekreef -- 5. The Amoeba Transaction Protocol / J.J. Brunekreef -- 6. Two Simple Protocols for Local Area Networks / J.J. Brunekreef -- 7. The Token Ring Protocol / H. Jacobsson and S. Mauw -- A: The PSF Library -- B: Syntax of PSF. Subjects; Computer network protocols. Algebra. Computer networks ; Specifications. PROTOCOLS. TELECOMMUNICATION / TELECOMMUNICATIONS. NETWORKS CIRCUITS. Computer science. Telecommunication systems. 3 Kg.
-
Algebraic specification of communication protocols.
Verlag: Cambridge, Cambridge University Press, ,, 1993
Anbieter: Antiquariat Gothow & Motzke, Berlin, Deutschland
Verkäuferbewertung 3 von 5 Sternen
Gross - 8° / large - 8°, XI/197 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in sehr gutem Zustand / exlibrary in excellent condition (Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block sehr gut / contents fine, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), (Cambridge Tracts in Theoretical Computer Science 36), Sprache: englisch.
-
Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (Security and Cryptology)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 51,23
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers (Security and Cryptology)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 51,23
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings (Security and Cryptology)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,63
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664, Band 1664)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Gut. 596 Seiten; 9783540664253.3 Gewicht in Gramm: 1.
-
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)
Buch 28 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521088127 ISBN 13: 9780521088121
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,25
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Public Key Infrastructure: 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings (Lecture Notes in Computer Science, 5057)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Security and Trust Management: 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings (Security and Cryptology)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Graphical Models for Security: Second International Workshop, Gramsec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319299670 ISBN 13: 9783319299679
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,64
EUR 22,96 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 116 pages. 9.25x6.10x0.27 inches. In Stock.
-
Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)
Buch 9 von 26: Information Security and CryptographyAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,66
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Security and Trust Management: 15th International Workshop, Stm 2019, Luxembourg City, Luxembourg, September 2627, 2019, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 303031510X ISBN 13: 9783030315108
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,90
EUR 11,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.55 inches. In Stock.
-
Public Key Infrastructure: 5th European Pki Workshop: Theory and Practice, Europki 2008 Trondheim, Norway, June 16-17, 2008, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540694846 ISBN 13: 9783540694847
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,33
EUR 11,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 239 pages. 9.20x6.10x0.60 inches. In Stock.
-
Algebraic Specification Protocols: 36 (Cambridge Tracts in Theoretical Computer Science, Series Number 36)
Buch 28 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521088127 ISBN 13: 9780521088121
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols. Editor(s): Mauw, Sjouke; Veltink, G. J. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 212 pages, black & white illustrations. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 171 x 244 x 21. Weight in Grams: 368. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Graphical Models for Security: 4th International Workshop, Gramsec 2017, Santa Barbara, Ca, USA, August 21, 2017, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319748599 ISBN 13: 9783319748597
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,23
EUR 11,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 160 pages. 9.25x6.10x0.39 inches. In Stock.
-
Graphical Models for Security
Sprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319748599 ISBN 13: 9783319748597
EUR 41,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,50
EUR 28,71 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 220 pages. 9.00x6.00x0.75 inches. In Stock.
-
Graphical Models for Security : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319299670 ISBN 13: 9783319299679
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures.
-
Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319748599 ISBN 13: 9783319748597
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.
-
Trust Management: 10th Ifip Wg 11.11 International Conference, Ifiptm 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings: Vol 10
Buch 136 von 292: IFIP Advances in Information and Communication TechnologyAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,47
EUR 28,71 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 204 pages. 9.25x6.10x0.46 inches. In Stock.
-
Security Protocols and Threat Models: Security and Privacy Via the Applied-calculus
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 303208248X ISBN 13: 9783032082480
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,69
EUR 14,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 225 pages. 9.25x6.10x9.21 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Graphical Models for Security | 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers | Peng Liu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2018 | Springer | EAN 9783319748597 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Graphical Models for Security | Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers | Sjouke Mauw (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2016 | Springer | EAN 9783319299679 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319118501 ISBN 13: 9783319118505
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Workshop on Security and Trust Management, STM 2014, held in Wroclaw, Poland, in September 2014, in conjunction with the 19th European Symposium Research in Computer Security, ESORICS 2014. The 11 revised full papers were carefully reviewed and selected from 29 submissions and cover topics as access control, data protection, digital rights, security and trust policies, security and trust in social networks.
-
Security and Trust Management : 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26¿27, 2019, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 303031510X ISBN 13: 9783030315108
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 15th International Workshop on Security and Trust Management, STM 2019, held in Luxembourg City, Luxembourg, in September 2019, and co-located with the 24th European Symposium Research in Computer Security, ESORICS 2019. The 9 full papers and 1 short paper were carefully reviewed and selected from 23 submissions.The papers present novel research on all theoretical and practical aspects of security and trust in ICTs.
-
Operational Semantics and Verification of Security Protocols
Buch 9 von 26: Information Security and CryptographySprache: Englisch
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 3642430538 ISBN 13: 9783642430534
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols. The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool.The methodology's strong mathematical basis, the strong separation of concerns in the model, and the accompanying tool set make it ideally suited both for researchers and graduate students of information security or formal methods and for advanced professionals designing critical security protocols.
-
Trust Management X : 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Buch 136 von 292: IFIP Advances in Information and Communication TechnologySprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319823329 ISBN 13: 9783319823324
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, held in Darmstadt, Germany, in July 2016. The 7 revised full papers and 7 short papers presented together with an invited paper were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics including trust architecture, trust modeling, trust metrics and computation, reputation and privacy, security and trust, sociotechnical aspects of trust, and attacks on trust and reputation systems.
-
Public Key Infrastructure : 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540694846 ISBN 13: 9783540694847
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008. The 15 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 37 submissions. Ranging from theoretical and foundational topics to applications and regulatory issues in various contexts, the papers focus on all research and practice aspects of PKI and show ways how to construct effective, practical, secure and low cost means for assuring authenticity and validity of public keys used in large-scale networked services.
-
Trust Management X : 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Buch 136 von 292: IFIP Advances in Information and Communication TechnologySprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319413538 ISBN 13: 9783319413532
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, held in Darmstadt, Germany, in July 2016. The 7 revised full papers and 7 short papers presented together with an invited paper were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics including trust architecture, trust modeling, trust metrics and computation, reputation and privacy, security and trust, sociotechnical aspects of trust, and attacks on trust and reputation systems.
