The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
Security Assessments of Safety Critical Systems Using HAZOPs
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Business Process-Based Resource Importance Determination
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Using risk analysis to evaluate design alternatives
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Security and trust requirements engineering
Foundations of Security Analysis and Design III
Hi-index | 0.00 |
CORAS is a research and technological development project under the Information Society Technologies (IST) Programme (Commission of the European Communities, Directorate-General Information Society). One of the main objectives of CORAS is to develop a practical framework, exploiting methods for risk analysis, semiformal methods for object-oriented modelling, and computerised tools, for a precise, unambiguous, and efficient risk assessment of security critical systems. This paper presents the CORAS framework and the related conclusions from the CORAS project so far.