"Probabilistic and Timed Analysis of Security Protocols"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Analysis of speed and accuracy on timed writings	Philip Uniat	1966
Probabilistic Analysis of Belief Functions	Ivan Kramosil	2001	Springer US
Probabilistic Methods of Signal and System Analysis	George R. Cooper, Clare D. McGillem	1998	Oxford University Press
Probabilistic methods of signal and system analysis /	Cooper, George R.; McGillem, Clare D.	1999.	Oxford University Press,
Probabilistic techniques in analysis /	Bass, Richard F.	[1995], ©1995.	Springer-Verlag,
Probabilistic Risk Analysis: Foundations and Methods	Tim Bedford; Roger Cooke	2001-04	Cambridge University Press
Probabilistic Foundations of Statistical Network Analysis	Harry Crane	2018	Routledge
Formal Correctness of Security Protocols	Giampaolo Bella	2007	Springer Berlin Heidelberg
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
Probabilistic Methods in Combinatorial Analysis	Vladimir N. Sachkov; V. A. Vatutin	1997-05	Cambridge University Press
Probabilistic Analysis and Related Topics, Volume 1	A. T. Bharucha-Reid	1978	Academic Press
Probabilistic Analysis and Related Topics, Volume 2	A. T. Bharucha-Reid	1979	Academic Press
Probabilistic Analysis and Related Topics, Volume 3	A. T. Bharucha-Reid	1983	Academic Press
A probabilistic analysis of test-response compaction /	Pilarski, Slawomir.; Kameda, Tiko.	1995.	IEEE Computer Society Press,
Chromosome Analysis Protocols	John R. Gosden	1994	Humana Press
Peptide Analysis Protocols	Ben M. Dunn; Michael W. Pennington	1995	Humana Press
Wireless Internet Security: Architecture and Protocols	James Kempf	2008-10	Cambridge University Press
Probability and Computing: Randomized Algorithms and Probabilistic Analysis	Michael Mitzenmacher; Eli Upfal	January 31, 2005	Cambridge University Press
Probabilistic modeling and analysis in science and engineering	T. T. Soong	1981	Wiley
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
Probabilistic and Timed Analysis of Security Protocols	Olga Siedlecka-Lamch	13th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2020)	Álvaro Herrero; Carlos Cambra; Daniel Urda; Javier Sedano; Héctor Quintián; Emilio Corchado	1st ed. 2021	Springer International Publishing
Timed Analysis of Security Protocols	Sabina Szymoniak; Olga Siedlecka-Lamch; Mirosław Kurkowski	Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II	Adam Grzech; Jerzy Świątek; Zofia Wilimowska; Leszek Borzemski	1st ed. 2017	Springer International Publishing
Network’s Delays in Timed Analysis of Security Protocols	Sabina Szymoniak; Olga Siedlecka-Lamch; Mirosław Kurkowski	Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018: Part I	Leszek Borzemski; Jerzy Świątek; Zofia Wilimowska	1st ed. 2019	Springer International Publishing
TAuth: Verifying Timed Security Protocols	Li Li; Jun Sun; Yang Liu; Jin Song Dong	Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings	Stephan Merz; Jun Pang	2014	Springer International Publishing
Verifying Parameterized Timed Security Protocols	Li Li; Jun Sun; Yang Liu; Jin Song Dong	FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings	Nikolaj Bjørner; Frank de Boer	2015	Springer International Publishing
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols	Ajith Ramanathan; John Mitchell; Andre Scedrov; Vanessa Teague	Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	Igor Walukiewicz	2004	Springer Berlin Heidelberg
Formal Analysis of Some Timed Security Properties in Wireless Protocols	Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi; Anna Vaccarelli	Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6. 1 International Conference, FMOODS 2003, Paris, France, November 19. 21, 2003, Proceedings	Elie Najm; Uwe Nestmann; Perdita Stevens	2003	Springer Berlin Heidelberg
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability	Silvia S. Pelozo; Pedro R. D’Argenio	Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers	Catuscia Palamidessi; Mark D. Ryan	2013	Springer Berlin Heidelberg
The Analysis of Security Protocols	Giampaolo Bella	Formal Correctness of Security Protocols	Giampaolo Bella	2007	Springer Berlin Heidelberg
Chapter 5. Probabilistic Analysis of Networks and Protocols		Graph Theoretic Methods in Multiagent Networks	Mehran Mesbahi; Magnus Egerstedt	2010	Princeton University Press
Compositional Analysis of Probabilistic Timed Graph Transformation Systems	Maria Maximova; Sven Schneider; Holger Giese	Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings	Esther Guerra; Mariëlle Stoelinga	1st ed. 2021	Springer International Publishing
Information Flow Analysis for Probabilistic Timed Automata	Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina	Formal Aspects in Security and Trust: IFIP TC1 WG1. 7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France	Theo Dimitrakos; Fabio Martinelli	2005	Springer US
Automated Verification of Timed Security Protocols with Clock Drift	Li Li; Jun Sun; Jin Song Dong	FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings	John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou	1st ed. 2016	Springer International Publishing
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
Probabilistic Timed Behavior Trees	Robert Colvin; Lars Grunske; Kirsten Winter	Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings	Jim Davies; Jeremy Gibbons	2007	Springer Berlin Heidelberg
Probabilistic Robust Timed Games	Youssouf Oualhadj; Pierre-Alain Reynier; Ocan Sankur	CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings	Paolo Baldan; Daniele Gorla	2014	Springer Berlin Heidelberg
Parametric Timed Broadcast Protocols	Étienne André; Benoit Delahaye; Paulin Fournier; Didier Lime	Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings	Constantin Enea; Ruzica Piskac	1st ed. 2019	Springer International Publishing
Finite-state analysis of security protocols	John C. Mitchell	Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings	Alan J. Hu; Moshe Y. Vardi	1998	Springer Berlin Heidelberg
Security Analysis of Real World Protocols	Ling Dong; Kefei Chen	Cryptographic Protocol: Security Analysis Based on Trusted Freshness	Ling Dong; Kefei Chen	2012	Springer Berlin Heidelberg
Security Analysis of Multilayer SCADA Protocols	Janica Edmonds; Mauricio Papa; Sujeet Shenoi	Critical Infrastructure Protection	E. Goetz; S. Shenoi	2008	Springer US
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Probabilistic and Timed Analysis of Security Protocols" - similar Books and Chapters