SSIRI

Publications

2011

Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
Security Goals Assurance Based on Software Active Monitoring. SSIRI (2011)
JingZheng Wu, Liping Ding, Yongji Wang, Wei Han
A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph. SSIRI (2011)
Jong-Phil Kim, Jang-Eui Hong
Dynamic Service Replacement to Improve Composite Service Reliability. SSIRI (2011)
Mahmuda Asrafi, Huai Liu, Fei-Ching Kuo
On Testing Effectiveness of Metamorphic Relations: A Case Study. SSIRI (2011)
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. SSIRI (2011)
Bing-Han Li, Shiuhpyng Shieh
RELEASE: Generating Exploits Using Loop-Aware Concolic Execution. SSIRI (2011)
Flora Amato, Massimo Felici, Paola Lanzi, Giulia Lotti, Luca Save, Alessandra Tedeschi
Trust Observations in Validation Exercises. SSIRI (2011)
Seok-Won Lee
Probabilistic Risk Assessment for Security Requirements: A Preliminary Study. SSIRI (2011)
Andy Restrepo, W. Eric Wong
Validation of SDL-Based Architectural Design Models: New Coverage Criteria. SSIRI (2011)
Selim Ciraci, Hasan Sözer, Mehmet Aksit, Wilke Havinga
Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. SSIRI (2011)
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea SSIRI (2011)
HyeonJeong Kim, Doo-Hwan Bae, Vidroha Debroy, W. Eric Wong
Deriving Data Dependence from/for UML State Machine Diagrams. SSIRI (2011)
Aida Omerovic, Bjørnar Solhaug, Ketil Stølen
Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study. SSIRI (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano
Automatic Synthesis of Static Fault Trees from System Models. SSIRI (2011)
Mohammad Hamdaqa, Ladan Tahvildari
ReLACK: A Reliable VoIP Steganography Approach. SSIRI (2011)
W. Eric Wong, Andrea Demel, Vidroha Debroy, Michael F. Siok
Safe Software: Does It Cost More to Develop? SSIRI (2011)
Arjan J. de Roo, Hasan Sözer, Mehmet Aksit
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. SSIRI (2011)
Omar el Ariss, Jianfei Wu, Dianxiang Xu
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts. SSIRI (2011)
Shih-Chien Chou
Using Partial Ordered Numbers to Control Information Flows. SSIRI (2011)
Ennan Zhai, Liping Ding, Sihan Qing
Towards a Reliable Spam-Proof Tagging System. SSIRI (2011)
Michael Eonsuk Shin, Snehadeep Sethia, Nipul Patel
Component-Based Malicious Software Engineer Intrusion Detection. SSIRI (2011)
Lirong Dai, Yan Bai
An Organization-Driven Approach for Enterprise Security Development and Management. SSIRI (2011)
Ki-Seong Lee, Chan-Gun Lee
Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming. SSIRI (2011)
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park, Suntae Kim
A Feature-Based Modeling Approach for Building Hybrid Access Control Systems. SSIRI (2011)
Tugkan Tuglular, Gurcan Gercek
Mutation-Based Evaluation of Weighted Test Case Selection for Firewall Testing. SSIRI (2011)

2010