Searching...
Advanced Search
S
SSIRI
2011
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
This Publication
Digital Library
Advanced Search
This Publication
Purchase Instant Conference Download
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
Jeju Island, Korea
June 27-June 29
ISBN: 978-0-7695-4453-3
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Message from Steering Committee Chairs
(PDF)
pp. viii
ABSTRACT
PDF
Message from General Chairs
(PDF)
pp. ix
ABSTRACT
PDF
Message from Program Chairs
(PDF)
pp. x
ABSTRACT
PDF
Committees
(PDF)
pp. xi-xiv
ABSTRACT
PDF
Additional Reviewers
(PDF)
pp. xv
ABSTRACT
PDF
Keynotes
(PDF)
pp. xvi-xix
ABSTRACT
PDF
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts
(Abstract)
Omar El Ariss
Jianfei Wu
Dianxiang Xu
pp. 1-10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Probabilistic Risk Assessment for Security Requirements: A Preliminary Study
(Abstract)
Seok-Won Lee
pp. 11-20
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Execution Constraint Verification of Exception Handling on UML Sequence Diagrams
(Abstract)
Selim Ciraci
Hasan Sözer
Mehmet Aksit
Wilke Havinga
pp. 31-40
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software
(Abstract)
Arjan de Roo
Hasan Sözer
Mehmet Aksit
pp. 41-50
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Validation of SDL-Based Architectural Design Models: New Coverage Criteria
(Abstract)
Andy Restrepo
W. Eric Wong
pp. 51-59
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Security Goals Assurance Based on Software Active Monitoring
(Abstract)
Changzhi Zhao
Wei Dong
Martin Leucker
Zhichang Qi
pp. 70-79
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming
(Abstract)
Ki-seong Lee
Chan-Gun Lee
pp. 80-87
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Feature-Based Modeling Approach for Building Hybrid Access Control Systems
(Abstract)
Sangsig Kim
Dae-Kyoo Kim
Lunjin Lu
Sooyong Park
Suntae Kim
pp. 88-97
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph
(Abstract)
JingZheng Wu
Liping Ding
Yongji Wang
Wei Han
pp. 98-107
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL
(Abstract)
Mirco Kuhlmann
Karsten Sohr
Martin Gogolla
pp. 108-117
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Deriving Data Dependence from/for UML State Machine Diagrams
(Abstract)
Hyeon-Jeong Kim
Doo-Hwan Bae
Vidroha Debroy
W. Eric Wong
pp. 118-126
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automatic Synthesis of Static Fault Trees from System Models
(Abstract)
Jianwen Xiang
Kazuo Yanoo
Yoshiharu Maeno
Kumiko Tadano
pp. 127-136
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study
(Abstract)
Aida Omerovic
Bjørnar Solhaug
Ketil Stølen
pp. 137-146
ABSTRACT
PDF
PURCHASE ARTICLE: $19
On Testing Effectiveness of Metamorphic Relations: A Case Study
(Abstract)
Mahmuda Asrafi
Huai Liu
Fei-Ching Kuo
pp. 147-156
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Notice
Mutation-Based Evaluation of Weighted Test Case Selection for Firewall Testing
(Abstract)
Tugkan Tuglular
Gurcan Gercek
pp. 157-164
ABSTRACT
PDF
PURCHASE ARTICLE: $19
RELEASE: Generating Exploits Using Loop-Aware Concolic Execution
(Abstract)
Bing-Han Li
Shiuhpyng Shieh
pp. 165-173
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards a Reliable Spam-Proof Tagging System
(Abstract)
Ennan Zhai
Liping Ding
Sihan Qing
pp. 174-181
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Dynamic Service Replacement to Improve Composite Service Reliability
(Abstract)
Jong-Phil Kim
Jang-Eui Hong
pp. 182-188
ABSTRACT
PDF
PURCHASE ARTICLE: $19
ReLACK: A Reliable VoIP Steganography Approach
(Abstract)
Mohammad Hamdaqa
Ladan Tahvildari
pp. 189-197
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Safe Software: Does It Cost More to Develop?
(Abstract)
W. Eric Wong
Andrea Demel
Vidroha Debroy
Michael F. Siok
pp. 198-207
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Organization-Driven Approach for Enterprise Security Development and Management
(Abstract)
Lirong Dai
Yan Bai
pp. 208-215
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Trust Observations in Validation Exercises
(Abstract)
F. Amato
M. Felici
P. Lanzi
G. Lotti
L. Save
A. Tedeschi
pp. 216-223
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 224
ABSTRACT
PDF
Publisher's Information
(PDF)
pp. 226
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
