𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

✍ Scribed by Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled

Book ID
121083744
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
223 KB
Category
Article
ISBN
3540688552

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2003 Volume 2767 || Formal Security Policy Verification of Distributed Component-Structured Software
✍ König, Hartmut; Heiner, Monika; Wolisz, Adam 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 162 KB

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Towards Synchronizing Linear Collaborative Objects with Operational Transformation
✍ Wang, Farn 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 388 KB

This Book Constitutes The Refereed Proceedings Of The 25th Ifip Wg 6.1 International Conference On Formal Techniques For Networked And Distributed Systems, Forte 2005, Held In Taipei, Taiwan, In October 2005. The 33 Revised Full Papers And 6 Short Papers Presented Together With 3 Keynote Speeches We