Engineering Secure Software and Systems

>> Google Books

Engineering Secure Software and Systems / Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642117466 [3642117465]
9786613563552 [6613563552]

書誌ID:

OB00226912

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Computer Science (Hardware & Networks)

言語:

英語

目次情報:

Attack Analysis and Prevention I / Session 1：

BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen

CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens

Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas

Attack Analysis and Prevention II / Session 2：

Experiences with PDG-Based IFC / Christian Hammer

Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray

Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger

Policy Verification and Enforcement I / Session 3：

Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan JÃ¼rjens

Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga

Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per HÃ¥kon Meland ; Inger Anne TÃ¸ndel ; Jostein Jensen

Policy Verification and Enforcement II / Session 4：

Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; FrÃ©dÃ©ric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain

Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel FernÃ¡ndez

Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch

Secure System and Software Development I / Session 5：

Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif

Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi

Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin

Secure System and Software Development II / Session 6：

Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael SchlÃ¤pfer

Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson

Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; HÃ¥vard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil StÃ¸len ; Jon Ã˜lnes

Author Index

Attack Analysis and Prevention I / Session 1：

BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen

CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens

Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas

Attack Analysis and Prevention II / Session 2：

Experiences with PDG-Based IFC / Christian Hammer

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Engineering Secure Software and Systems Massacci, Fabio, Kanade, Takeo, Wallach, Dan, Zannone, Nicola, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Software Engineering for Secure Systems (SESS 2007), 2007 Third International Workshop on Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings
2 電子ブック Engineering Secure Software and Systems Erlingsson, Úlfar, Kanade, Takeo, Wieringa, Roel, Zannone, Nicola, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	8 電子ブック Software Engineering for Secure Systems, SESS, 2009 ICSE Workshop on Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings
3 電子ブック Engineering Secure Software and Systems Erlingsson, Úlfar, Kanade, Takeo, Wieringa, Roel, Zannone, Nicola, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Software Engineering for Secure Systems, SESS, 2009 ICSE Workshop on Association for Computing Machinery-Digital Library. IEEE/IET Electronic Library (IEL) Conference Proceedings
4 電子ブック Engineering Secure Software and Systems Massacci, Fabio, Kanade, Takeo, Redwine, Samuel T., Zannone, Nicola Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Software Engineering for Secure Systems (SESS 2007), 2007 Third International Workshop on Association for Computing Machinery-Digital Library. IEEE/IET Electronic Library (IEL) Conference Proceedings
5 電子ブック Engineering Secure Software and Systems Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	11 電子ブック SESS '06: Proceedings of the 2006 international workshop on Software engineering for secure systems Bruschi, Danilo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
6 電子ブック Engineering Secure Software and Systems Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック SESS '08: Proceedings of the fourth international workshop on Software engineering for secure systems De Win, Bart, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12