2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457707803

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Keynotes

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.10 ◽

2011 ◽

Author(s):

Gerard J. Holzmann

Download Full-text

Safe Software: Does It Cost More to Develop?

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.28 ◽

2011 ◽

Cited By ~ 5

Author(s):

W. Eric Wong ◽

Andrea Demel ◽

Vidroha Debroy ◽

Michael F. Siok

Download Full-text

Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.14 ◽

2011 ◽

Cited By ~ 3

Author(s):

Arjan de Roo ◽

Hasan Sozer ◽

Mehmet Aksit

Keyword(s):

Runtime Verification ◽

Physical Characteristics ◽

Control Software ◽

Domain Specific

Download Full-text

Trust Observations in Validation Exercises

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.26 ◽

2011 ◽

Cited By ~ 3

Author(s):

F. Amato ◽

M. Felici ◽

P. Lanzi ◽

G. Lotti ◽

L. Save ◽

...

Download Full-text

A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.17 ◽

2011 ◽

Cited By ~ 5

Author(s):

JingZheng Wu ◽

Liping Ding ◽

Yongji Wang ◽

Wei Han

Keyword(s):

Information Flow ◽

Source Code ◽

Covert Channel ◽

Channel Identification ◽

Flow Graph ◽

Directed Information ◽

Identification Approach

Download Full-text

Using Partial Ordered Numbers to Control Information Flows

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.27 ◽

2011 ◽

Author(s):

Shih-Chien Chou

Keyword(s):

Information Flows ◽

Control Information

Download Full-text

Title Page iii

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.2 ◽

2011 ◽

Keyword(s):

Title Page

Download Full-text

Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.15 ◽

2011 ◽

Cited By ~ 3

Author(s):

Ki-seong Lee ◽

Chan-Gun Lee

Keyword(s):

Critical Systems ◽

Aspect Oriented Programming ◽

Model Driven ◽

Time Critical

Download Full-text

Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.18 ◽

2011 ◽

Cited By ~ 7

Author(s):

Mirco Kuhlmann ◽

Karsten Sohr ◽

Martin Gogolla

Keyword(s):

Level Analysis

Download Full-text

Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.20 ◽

2011 ◽

Cited By ~ 2

Author(s):

Aida Omerovic ◽

Bjornar Solhaug ◽

Ketil Stolen

Keyword(s):

Industrial Case Study

Download Full-text

2011 Fifth International Conference on Secure Software Integration and Reliability ImprovementLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Keynotes

Safe Software: Does It Cost More to Develop?

Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software

Trust Observations in Validation Exercises

A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph

Using Partial Ordered Numbers to Control Information Flows

Title Page iii

Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming

Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL

Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
Latest Publications