Engineering Secure Software and Systems : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings - Taschenbuch
2010, ISBN: 3642117465
[EAN: 9783642117466], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTERNET / PROTOKOLLE, SICHERHEIT, TECHNIK; JAVA; CALCULUS; MODELCHECKING; PROGRAMREWRITING; SECURITYARCHITECTU… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783642117466
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software an… Mehr…
booklooker.de |
ISBN: 9783642117466
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software an… Mehr…
booklooker.de |
2010, ISBN: 9783642117466
It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique event aimed at bringing together researc… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings - gebrauchtes Buch
2010, ISBN: 9783642117466
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen, Auflage 2010 6916729/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kred… Mehr…
booklooker.de |
Engineering Secure Software and Systems : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings - Taschenbuch
2010, ISBN: 3642117465
[EAN: 9783642117466], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTERNET / PROTOKOLLE, SICHERHEIT, TECHNIK; JAVA; CALCULUS; MODELCHECKING; PROGRAMREWRITING; SECURITYARCHITECTU… Mehr…
ISBN: 9783642117466
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software an… Mehr…
ISBN: 9783642117466
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software an… Mehr…
2010, ISBN: 9783642117466
It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique event aimed at bringing together researc… Mehr…
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings - gebrauchtes Buch
2010, ISBN: 9783642117466
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen, Auflage 2010 6916729/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kred… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings Fabio MASSACCI Edito
EAN (ISBN-13): 9783642117466
ISBN (ISBN-10): 3642117465
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg Core >1
240 Seiten
Gewicht: 0,387 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-10-30T19:58:17+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-06T22:55:36+01:00 (Berlin)
ISBN/EAN: 9783642117466
ISBN - alternative Schreibweisen:
3-642-11746-5, 978-3-642-11746-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: david berger, david christian, wallach, berg berger, david austin, dan berger, bertolissi, andresen, beyerlein, clara, fabio, gordon
Titel des Buches: systems engineering, engineering secure software and system, pisa, esso, security engineering
Daten vom Verlag:
Autor/in: Fabio MASSACCI; Dan Wallach; Nicola Zannone
Titel: Lecture Notes in Computer Science; Security and Cryptology; Engineering Secure Software and Systems - Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings
Verlag: Springer; Springer Berlin
241 Seiten
Erscheinungsjahr: 2010-01-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 241 p.
BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Java; calculus; model checking; program rewriting; security architecture; security assurance; security measurement; security requirements; threat modeling; verification; verification techniques; Computer Communication Networks; Software Engineering; Cryptology; Data Structures and Information Theory; Mathematical Applications in Computer Science; Models of Computation; Software Engineering; Kodierungstheorie und Verschlüsselung (Kryptologie); Kryptografie, Verschlüsselungstechnologie; Algorithmen und Datenstrukturen; Informationstheorie; Theoretische Informatik; EA
Session 1. Attack Analysis and Prevention I.- BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks.- CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests.- Idea: Opcode-Sequence-Based Malware Detection.- Session 2. Attack Analysis and Prevention II.- Experiences with PDG-Based IFC.- Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications.- Idea: Towards Architecture-Centric Security Analysis of Software.- Session 3. Policy Verification and Enforcement I.- Formally-Based Black-Box Monitoring of Security Protocols.- Secure Code Generation for Web Applications.- Idea: Reusability of Threat Models – Two Approaches with an Experimental Evaluation.- Session 4. Policy Verification and Enforcement II.- Model-Driven Security Policy Deployment: Property Oriented Approach.- Category-Based Authorisation Models: Operational Semantics and Expressive Power.- Idea: Efficient Evaluation of Access Control Constraints.- Session 5. Secure System and Software Development I.- Formal Verification of Application-Specific Security Properties in a Model-Driven Approach.- Idea: Enforcing Consumer-Specified Security Properties for Modular Software.- Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks.- Session 6. Secure System and Software Development II.- Automatic Generation of Smart, Security-Aware GUI Models.- Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems.- Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality.Fast track conference proceeding Unique visibility State of the art research
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319048970 Engineering Secure Software and Systems (Nataliia Bielova; Jan Jurjens; Frank Piessens)
- 9783319048970 Engineering Secure Software and Systems (Nataliia Bielova; Jan Jurjens; Frank Piessens)
- 9783319156170 Engineering Secure Software and Systems (Frank Piessens; Juan Caballero; Nataliia Bielova)
- 9783319048963 Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings (Security and Cryptology, Band 8364) (Jürjens, Jan|Piessens, Frank|Bielova, Nataliia)
- 9781615208371 Software Engineering for Secure Systems (Mouratidis Haralambos)
- 9783642001987 Engineering Secure Software and Systems (Fabio Massacci; Samuel Redwine; Nicola Zannone)
< zum Archiv...