✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 4680 || Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees

✍ Scribed by Saglietti, Francesca; Oster, Norbert

Book ID: 120230949
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 781 KB
Category: Article
ISBN: 3540751017
DOI: 10.1007/978-3-540-75101-4_22

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 4680 || Management of Groups and Group Keys in Multi-level Security Environments

✍ Saglietti, Francesca; Oster, Norbert 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 170 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || A Formal Model for Fault-Tolerance in Distributed Systems

✍ Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 220 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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Model-Driven Availability Evaluation of Railway Control Systems

✍ Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 373 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability and Security Volume 2434 || Analysing the Safety of a Software Development Process

✍ Anderson, Stuart; Felici, Massimo; Bologna, Sandro 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 290 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 7613 || A Systematic Elaboration of Safety Requirements in the Avionic Domain

✍ Ortmeier, Frank; Daniel, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 273 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || A UML Profile for Requirements Analysis of Dependable Software

✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 622 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag