Formal Aspects in Security and Trust (vol. # 173)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Formal Aspects in Security and Trust (vol. # 3866)
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Continue reading
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Continue reading
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Continue reading
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue reading
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
Continue reading
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
Continue reading
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Continue reading
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Continue reading
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue reading
Foundations of Computer Security
Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, ...
Continue reading
Foundations of Intelligent Systems (vol. # 3488)
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Continue reading
Foundations of Security
Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
Continue reading
Foundations of Security Analysis and Design III
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Continue reading
Foundations of Security Analysis and Design IV
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Continue reading
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue reading
