𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul

Book ID
120064988
Publisher
Springer Berlin Heidelberg
Year
2006
Weight
606 KB
Category
Article
ISBN
3540367500

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 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] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
✍ Winther, Rune; Gran, BjΓΈrn Axel; Dahll, Gustav πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 210 KB

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Addr