-
1
-
-
84976854012
-
Conjoining specification
-
Abadi, M., Lamport, L. Conjoining specification. ACM TOPLAS 17:507-533,1995.
-
(1995)
ACM TOPLAS
, vol.17
, pp. 507-533
-
-
Abadi, M.1
Lamport, L.2
-
2
-
-
84885478310
-
Risk management
-
AS/NZS 4360:1999 Risk management.
-
(1999)
AS/NZS
, pp. 43-60
-
-
-
3
-
-
0012647401
-
-
Addison-Wesley
-
Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., Zettel, J. Component-based product line engineering with UML. Addison-Wesley, 2002.
-
(2002)
Component-based Product Line Engineering with UML
-
-
Atkinson, C.1
Bayer, J.2
Bunse, C.3
Kamsties, E.4
Laitenberger, O.5
Laqua, R.6
Muthig, D.7
Paech, B.8
Wüst, J.9
Zettel, J.10
-
4
-
-
0001094070
-
The use of the CCTA risk analysis and management methodology CRAMM
-
North Holland
-
Barber, B., Davey, J. The use of the CCTA risk analysis and management methodology CRAMM. In Proc. MEDINFO92, pages 1589-1593. North Holland, 1992.
-
(1992)
Proc. MEDINFO92
, pp. 1589-1593
-
-
Barber, B.1
Davey, J.2
-
5
-
-
0041837967
-
A state-of-the-art review of FMEA/FMECA
-
Bouti, A., Ait Kadi, D. A state-of-the-art review of FMEA/FMECA. International Journal of Reliability, Quality and Safety Engineering 1:515-543, 1994.
-
(1994)
International Journal of Reliability, Quality and Safety Engineering
, vol.1
, pp. 515-543
-
-
Bouti, A.1
Ait Kadi, D.2
-
6
-
-
84884713324
-
The CORAS methodology: Modelbased risk management using UML and UP
-
IRM Press
-
den Braber, F., Dimitrakos, T., Gran, B. A., Lund, M. S., Stlen, K., Aagedal, J. The CORAS methodology: modelbased risk management using UML and UP. Chapter in book titled UML and the Unified Process. IRM Press, 2003.
-
(2003)
Chapter in Book Titled UML and the Unified Process
-
-
Den Braber, F.1
Dimitrakos, T.2
Gran, B.A.3
Lund, M.S.4
Stlen, K.5
Aagedal, J.6
-
7
-
-
0038208691
-
Extensible markup language (XML) 1. 0 (Second edition)
-
October
-
Bray, T., Paoli, J., Sperberg-McQueen, C. M., Maler, E. Extensible markup language (XML) 1. 0 (Second edition). World Wide Web Consortium recommendation REC-xml, October 2000.
-
(2000)
World Wide Web Consortium Recommendation REC-xml
-
-
Bray, T.1
Paoli, J.2
Sperberg-Mcqueen, C.M.3
Maler, E.4
-
10
-
-
0003854752
-
-
Addison-Wesley
-
D'Souza, F., Wills, A. C. Objects, components, and frameworks with UML: the Catalysis approach. Addison-Wesley, 1998.
-
(1998)
Objects, Components, and Frameworks with UML: The Catalysis Approach
-
-
D'souza, F.1
Wills, A.C.2
-
11
-
-
60949103111
-
Integrating model-based security risk management into eBusiness systems development: The CORAS approach
-
Kluwer
-
Dimitrakos, T., Ritchie, B., Raptis, D., Aagedal, J. , den Braber, F., Stlen, K., Houmb, S-H. Integrating model-based security risk management into eBusiness systems development: The CORAS approach. In Proc. I3E2002, pages 159-175. Kluwer, 2002.
-
(2002)
Proc. I3E2002
, pp. 159-175
-
-
Dimitrakos, T.1
Ritchie, B.2
Raptis, D.3
Aagedal, J.4
Den Braber, F.5
Stlen, K.6
Houmb, S.-H.7
-
12
-
-
84958753843
-
Contracts for ODP
-
Springer
-
Fevrier, A., Najm, E., Stefani, J. B. Contracts for ODP. In Proc. ARTS97, LNCS 1231, pages 216-232. Springer, 1997.
-
(1997)
Proc. ARTS97, LNCS 1231
, pp. 216-232
-
-
Fevrier, A.1
Najm, E.2
Stefani, J.B.3
-
13
-
-
84945708698
-
An axiomatic basis for computer programming
-
Hoare, C. A. R. An axiomatic basis for computer programming. Communications of the ACM, 12:576-583, 1969.
-
(1969)
Communications of the ACM
, vol.12
, pp. 576-583
-
-
Hoare, C.A.R.1
-
14
-
-
34548183566
-
Towards a UML profile for model-based risk assessment
-
Munich University of Technology
-
Houmb, S-H., den Braber, F., Lund, M. S., Stlen, K. Towards a UML profile for model-based risk assessment. In Proc. UML'2002 Satellite Workshop on Critical Systems Development with UML, pages 79-91, Munich University of Technology, 2002.
-
(2002)
Proc. UML'2002 Satellite Workshop on Critical Systems Development with UML
, pp. 79-91
-
-
Houmb, S.-H.1
Den Braber, F.2
Lund, M.S.3
Stlen, K.4
-
15
-
-
84884726824
-
-
Fault tree analysis (FTA)
-
IEC 1025: 1990 Fault tree analysis (FTA).
-
(1990)
IEC
, pp. 10-25
-
-
-
18
-
-
84885482102
-
Information technology-Guidelines for the management of IT Security-Part 1: Concepts and models for IT Security
-
ISO/IEC TR 13335-1:2001: Information technology-Guidelines for the management of IT Security-Part 1: Concepts and models for IT Security.
-
(2001)
ISO/IEC TR
, pp. 133-351
-
-
-
23
-
-
84884707863
-
Structuring and design of reactive systems using RSDS and B
-
Springer
-
Lano, K., Androutsopoulos, K., Clark, D. Structuring and design of reactive systems using RSDS and B. In Proc. FASE 2000, LNCS 1783, pages 97-111. Springer, 2000.
-
(2000)
Proc. FASE 2000, LNCS 1783
, pp. 97-111
-
-
Lano, K.1
Androutsopoulos, K.2
Clark, D.3
-
28
-
-
20444404422
-
The CORAS approach for model-based risk analysis applied to the ecommerce domain
-
Kluwer
-
Raptis, D., Dimitrakos, T., Gran, B. A., Stlen, K. The CORAS approach for model-based risk analysis applied to the ecommerce domain. In Proc. CMS-2002, pages 169-181. Kluwer, 2002.
-
(2002)
Proc. CMS-2002
, pp. 169-181
-
-
Raptis, D.1
Dimitrakos, T.2
Gran, B.A.3
Stlen, K.4
-
30
-
-
84864556649
-
Experiences from using model-based risk assessment to evaluate the security of a telemedicine application
-
Stamatiou, Y. C., Henriksen, E., Lund, M. S, Mantzouranis, E., Psarros, M., Skipenes, E., Stathiakos, N., Stlen, K. Experiences from using model-based risk assessment to evaluate the security of a telemedicine application. To appear in Proc. Telemedicine in Care Delivery, 2002.
-
(2002)
To Appear in Proc. Telemedicine in Care Delivery
-
-
Stamatiou, Y.C.1
Henriksen, E.2
Lund Mantzouranis, S.M.E.3
Psarros, M.4
Skipenes, E.5
Stathiakos, N.6
Stlen, K.7
-
32
-
-
84936873422
-
Model-based risk assessment to improve enterprise security
-
IEEE Computer Society
-
Aagedal, J. ., den Braber, F., Dimitrakos, T., Gran, B. A., Raptis, D., Stlen, K. Model-based risk assessment to improve enterprise security. In Proc. EDOC'2002, pages 51-62. IEEE Computer Society, 2002.
-
(2002)
Proc. EDOC'2002
, pp. 51-62
-
-
Aagedal, J..1
Den Braber, F.2
Dimitrakos, T.3
Gran, B.A.4
Raptis, D.5
Stlen, K.6
|