"Model Checking Indistinguishability of Randomized Security Protocols"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions	Kazi Sakib; Zahir Tari; Peter Bertok	2014	Wiley-IEEE Press
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
25 Years of Model Checking: History, Achievements, Perspectives	Orna Grumberg; Helmut Veith	2008	Springer Berlin Heidelberg
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Formal Correctness of Security Protocols	Giampaolo Bella	2007	Springer Berlin Heidelberg
Unfoldings: A Partial-Order Approach to Model Checking	Javier Esparza; Keijo Heljanko	2008	Springer Berlin Heidelberg
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Randomized Algorithms	Rajeev Motwani; Prabhakar Raghavan	1995-08	Cambridge University Press
Operational Semantics and Verification of Security Protocols	Cas Cremers	2012	Springer Berlin Heidelberg;Imprint: Springer
Operational Semantics and Verification of Security Protocols	Cas Cremers; Sjouke Mauw	2012	Springer Berlin Heidelberg
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Kleuker S.	2009	Vieweg
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker (auth.)	2009	Vieweg+Teubner Verlag
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation	Stephan Kleuker	2009	Vieweg+Teubner Verlag
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Model Checking Indistinguishability of Randomized Security Protocols	Matthew S. Bauer; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan	Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II	Hana Chockler; Georg Weissenbacher	1st ed. 2018	Springer International Publishing
Model Checking Security Protocols	David Basin; Cas Cremers; Catherine Meadows	Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Parallel Bounded Model Checking of Security Protocols	Mirosław Kurkowski; Olga Siedlecka-Lamch; Sabina Szymoniak; Henryk Piech	Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I	Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Waśniewski	2014	Springer Berlin Heidelberg
Model Checking of Security Protocols with Pre-configuration	Kyoil Kim; Jacob A. Abraham; Jayanta Bhadra	Information Security Applications: 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers	Ki-Joon Chae; Moti Yung	2004	Springer Berlin Heidelberg
Model Checking of Security Protocols with Pre-configurati		Information Security Applications: 4th International Workshop, WISA 2003 Jeju Island, Korea, August 25-27, 2003 Revised Papers	Kyoil Kim, Jacob A. Abraham, Jayanta Bhadra (auth.), Ki-Joon Chae, Moti Yung (eds.)	2004	Springer-Verlag Berlin Heidelberg
Model Checking Commitment Protocols	Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli	Modern Approaches in Applied Intelligence: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II	Kishan G. Mehrotra; Chilukuri Krishna Mohan; Jae C. Oh; Pramod K. Varshney; Moonis Ali	2011	Springer Berlin Heidelberg
Model Checking Communication Protocols	Pablo Argón; Giorgio Delzanno; Supratik Mukhopadhyay; Andreas Podelski	SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings	Leszek Pacholski; Peter Ruzicka	2001	Springer Berlin Heidelberg
Model Checking Security Protocols Using a Logic of Belief	Massimo Benerecetti; Fausto Giunchiglia	Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Susanne Graf; Michael Schwartzbach	2000	Springer Berlin Heidelberg
Applying Timed Automata to Model Checking of Security Protocols	Mirosław Kurkowski; Wojciech Penczek	Handbook of Finite State Based Models and Applications	Jiacun Wang	2012	Routledge
Model Checking Security Protocols Using a Logic of Beli		Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings	Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)	2000	Springer-Verlag Berlin Heidelberg
Randomized protocols		Complexity of algorithms	Lovász László	2014	Typotex
Model Checking Group Ware Protocols		Cooperative Systems Design: Scenario-Based Design of Collaborative Systems	Francoise Darses, INTERNATIONAL CONFERENCE ON THE DESIGN O, Rose Dieng, Carla Simone, Manuel Zacklad	2004	IOS Press
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption	Olga Siedlecka-Lamch; Miroslaw Kurkowski; Jacek Piatkowski	Computer Networks: 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings	Piotr Gaj; Andrzej Kwiecień; Piotr Stera	1st ed. 2016	Springer International Publishing
Probabilistic Model Checking of Randomized Java Code	Syyeda Zainab Fatmi; Xiang Chen; Yash Dhamija; Maeve Wildes; Qiyi Tang; Franck van Breugel	Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings	Alfons Laarman; Ana Sokolova	1st ed. 2021	Springer International Publishing
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP	Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz; Emilia Cambronero	Wireless Sensor and Actor Networks: IFIP WG 6. 8 First International Conference on Wireless Sensor and Actor Networks, WSAN' 07, Albacete, Spain, September 24-26, 2007	Luis Orozco-Barbosa; Teresa Olivares; Rafael Casado; Aurelio Bermúdez	2007	Springer US
Randomized Communication Protocols	Juraj Hromkovič	Stochastic Algorithms: Foundations and Applications: International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings	Kathleen Steinhöfel	2001	Springer Berlin Heidelberg
Randomized agreement protocols	Michael Ben-Or	Fault-Tolerant Distributed Computing	Barbara Simons; Alfred Spector	1st ed. 1990	Springer New York
3 - Randomized Protocols		Communication Complexity: and Applications	Anup Rao; Amir Yehudayoff	2020-02	Cambridge University Press
Modelchecking Safety Properties in Randomized Security Protocols	Matthew S. Bauer; Rohit Chadha; Mahesh Viswanathan	Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday	Vivek Nigam; Tajana Ban Kirigin; Carolyn Talcott; Joshua Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada	1st ed. 2020	Springer International Publishing
Efficient Model Checking of Causal-Knowledge Protocols	Wojciech Penczek	From Theory to Practice in Multi-Agent Systems: Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers	Barbara Dunin-Keplicz; Edward Nawarecki	2002	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Model Checking Indistinguishability of Randomized Security Protocols" - similar Books and Chapters