✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || Towards a Model- and Learning-Based Framework for Security Anomaly Detection

✍ Scribed by Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.

Book ID: 120255588
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 568 KB
Category: Article
ISBN: 364235887X
DOI: 10.1007/978-3-642-35887-6_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || A Language-Based Approach to Autonomic Computing

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 350 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4111 || Model-Based Security Engineering with UML: Introducing Security Aspects

✍ de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 606 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

✍ de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 467 KB

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further deve

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim Status

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 482 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 7542 || Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints

✍ Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 389 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Interleaving Symbolic Execution and Partial Evaluation

✍ Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 340 KB

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to th