David Basin – författare
Visar alla böcker från författaren David Basin. Handla med fri frakt och snabb leverans.
19 produkter
Rippling: Meta-Level Guidance for Mathematical Reasoning
Av Alan Bundy, David Basin m. fl.
Inbunden, 2005
1905 kr
Lägg i varukorg
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens …
Labelled Deduction
Av Marcello D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 2000
1096 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Inbunden, 2022
1465 kr
Lägg i varukorg
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in …
Complete Guide to SCION
From Design Principles to Formal Verification
Av Adrian Perrig, Peter Muller m. fl.
E-bok, 2022
1296 kr
Lägg i varukorg
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in …
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Häftad, 2023
1017 kr
Lägg i varukorg
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in …
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av David Basin, Cas Cremers m. fl.
Inbunden, 2025
624 kr
Lägg i varukorg
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful …
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av Ralf Sasse, Jannik Dreier m. fl.
E-bok, 2025
813 kr
Lägg i varukorg
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful …
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Av David Basin, Michael Rusinowitch
Häftad, 2004
1129 kr
Lägg i varukorg
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in …
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Av Michael Rusinowitch, David Basin
E-bok, 2004
1459 kr
Lägg i varukorg
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi?erentresearchcommunitieswo- ing in …
Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Av David Basin, Burkhart Wolff
Häftad, 2003
552 kr
Lägg i varukorg
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8–12, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and …
Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Av Burkhart Wolff, David Basin
E-bok, 2003
734 kr
Lägg i varukorg
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8–12, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and …
Applied Information Security
A Hands-on Approach
Av David Basin, Patrick Schaller m. fl.
Inbunden, 2011
512 kr
Lägg i varukorg
This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web …
Applied Information Security
A Hands-on Approach
Av Michael Schlapfer, Patrick Schaller m. fl.
E-bok, 2011
657 kr
Lägg i varukorg
This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web …
Principles of Security and Trust
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Av David Basin, John C. Mitchell
Häftad, 2013
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume …
Principles of Security and Trust
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Av John C. Mitchell, David Basin
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume …
Applied Information Security
A Hands-on Approach
Av David Basin, Patrick Schaller m. fl.
Häftad, 2013
512 kr
Lägg i varukorg
This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web …
Labelled Deduction
Av David Basin, M. D'Agostino m. fl.
Häftad, 2012
1096 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
Labelled Deduction
Av Luca Vigano, Sean Matthews m. fl.
E-bok, 2012
1413 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
