close
1.

電子ブック
ＥＢ
1. Trust Management
Ketil St?len, Takeo Kanade, Fabio Martinelli, Fabio Massacci, Ketil St2len, William H. Winsborough
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Engineering Secure Software and Systems
Fabio Massacci, Takeo Kanade, Samuel T. Redwine, Nicola Zannone
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Safety and Security in Multiagent Systems
Mike Barley, Takeo Kanade, Fabio Massacci, Haralambos Mouratidis, Paul Scerri, Diana Spears, Amy Unruh
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Methodological Approaches to High-Assurance Systems
Towards Safe Coordination in Multi-agent Systems / Anita Raja ; Michael Barley ; Xiaoqin Shelley Zhang
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems / H. Mouratidis ; P. Giorgini
Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms / Peter C. Lockemann ; Jens Nimis
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems / Robert Alexander ; Martin Hall-May ; Georgios Despotou ; Tim Kelly
A Guardian Agent Approach to Safety in Medical Multi-agent Systems / S. Modgil ; J. Fox
A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems / Michael Klibanov
Prevention and Response to Harm/Failures
The First Law of Robotics (A Call to Arms) / Daniel Weld ; Oren Etzioni
Safe Stochastic Planning: Planning to Avoid Fatal States / Hao Ren ; Ali Akhavan Bitaghsir ; Mike Barley
Building Coordinated Real-Time Control Plans / David J. Musliner ; Michael J.S. Pelican ; Kurt D. Krebsbach
A Framework for Goal-Based Semantic Compensation in Agent Systems / Amy Unruh ; James Bailey ; Kotagiri Ramamohanarao
Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment / Daniel Tran ; Steve Chien ; Gregg Rabideau ; Benjamin Cichy
Stochastic Approaches to Predictability and Unpredictability
Uncertain Agent Verification through Probabilistic Model-Checking / Paolo Ballarini ; Michael Fisher ; Michael Wooldridge
Safety and Security Multi-agent Systems: Research Results from 2004-2006 / Diana Spears ; Wesley Kerr ; William Spears
Coordinating Randomized Policies for Increasing Security in Multiagent Systems / Praveen Paruchuri ; Milind Tambe ; Fernando Ordóñonez ; Sarit Kraus
Safety and Security in Human-Computer Interactions
Safety in the Context of Coordination via Adjustable Autonomy / Paul Scerri ; Katia Sycara
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support / Cheryl Martin ; Debra Schreckenghost ; Pete Bonasso
Analyzing Dangers in Multiagent Rescue Using DEFACTO / Janusz Marecki ; Nathan Schurr
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations / Stefan Poslad
MLBPR: MAS for Large-Scale Biometric Pattern Recognition / Ram Meshulam ; Shulamit Reches ; Aner Yarden
Self-Protection
Intentional Agents in Defense / Emiliano Lorini ; Cristiano Castelfranchi
Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce / Athanasios Karygiannis ; Emmanouil Antonakakis
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems / Roy Sterriit ; Mike Hinchey
Author Index
Methodological Approaches to High-Assurance Systems
Towards Safe Coordination in Multi-agent Systems / Anita Raja ; Michael Barley ; Xiaoqin Shelley Zhang
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems / H. Mouratidis ; P. Giorgini
4.

電子ブック
ＥＢ
4. Engineering Secure Software and Systems
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
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
5.

電子ブック
ＥＢ
5. Quality of Protection
Dieter; Massacci, Fabio; Yautsiukhin, Artsiom Gollmann, Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface / Dieter Gollmann ; Fabio Massacci
Motivations / Part 1：
Why to adopt a security metric? A brief survey / Andrea Atzeni ; Antonio Lioy
Service-oriented Assurance - Comprehensive Security by Explicit Assurances / Gunter Karjoth ; Birgit Pfitzmann ; Matthias Schunter ; Michael Waidner
Measurements: Reliability vs Security / Part 2：
Software Security Growth Modeling: Examining Vulnerabilities with Reliability Growth Models / Andy Ozment
A Discrete Lognormal Model for Software Defects affecting QoP / Swapna Gokhale ; Robert Mullen
Time-to-compromise Model for Cyber Risk Reduction Estimation / Miles McQueen ; Wayne Boyer ; Mark Flynn ; George Beitel
Assessing the risk of using vulnerable components / Davide Balzarotti ; Mattia Monga ; Sabrina Sicari
Collection and analysis of attack data based on honeypots deployed on the Internet / Eric Alata ; Marc Dacier ; Yves Deswarte ; Mohamed Kaaniche ; Kostya Kortchinsky ; Vincente Nicomette ; Van-Hau Pham ; Fabien Pouget
Quantitative Security Models / Part 3：
Multilevel Security and Quality of Protection / Simon Foley ; Stefano Bistaelli ; Barry O'Sullivan ; John Herbert ; Garret Swart
A Conceptual Model for Service Availability / Judith E. Y. Rossebo ; Mass Soldal Lund ; Knut Eilif Husa ; Atle Refsdal
A SLA evaluation methodology in Service Oriented Architectures / Valentina Casola ; Antonino Mazzeo ; Nicola Mazzocca ; Massimiliano Rak
Towards a Notion of Quantitative Security Analysis / Iliano Cervesato
Metrics for Anonymity and Confidentiality / Part 4：
The Lower Bound of Attacks on Anonymity Systems - A Unicity Distance Approach / Dogan Kesdogan ; Lexi Pimenidis
Intersection Attacks on Web-Mixes: Bringing the Theory into Praxis / Tobias Kolsch
Using Guesswork as a Measure for Confidentiality of Selectively Encrypted Messages / Reine Lundin ; Stefan Lindskog ; Anna Brunstrom ; Simone Fischer-Hubner
Measuring Inference Exposure in Outsourced Encrypted Databases / Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Sara Foresti ; Pierangela Samarati ; Marco Viviani
Author Index
Preface / Dieter Gollmann ; Fabio Massacci
Motivations / Part 1：
Why to adopt a security metric? A brief survey / Andrea Atzeni ; Antonio Lioy
6.

電子ブック
ＥＢ
6. 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
所蔵情報: loading…
目次情報: 続きを見る
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
7.

図書
図書
7. Trust management : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings
Ketil Stolen ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 474 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3986
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Engineering Secure Software and Systems
Fabio Massacci, Takeo Kanade, Samuel T. Redwine, Nicola Zannone, Samuel Redwine
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Proceedings of the Second international conference on Engineering Secure Software and Systems
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
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
10.

電子ブック
ＥＢ
10. Trust Management
Ketil Stølen, Takeo Kanade, Fabio Martinelli, Fabio Massacci, Ketil St2len, William H. Winsborough
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼