Experimental Validation of a Risk Assessment Method

Autor: Vriezekolk, E., Etalle, S., Wieringa, R.J., Fricker, S.A., Schneider, K.

Publikováno v: 21st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2015, 1-16
STARTPAGE=1;ENDPAGE=16;TITLE=21st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2015
Requirements Engineering: Foundation for Software Quality ISBN: 9783319161006
REFSQ
Requirements Engineering (21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings), 1-16
STARTPAGE=1;ENDPAGE=16;TITLE=Requirements Engineering (21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings)

[Context and motivation] It is desirable that requirement engineering methods are reliable, that is, that methods can be repeated with the same results. Risk assessments methods, however, often have low reliability when they identify risk mitigations

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97c779f61862dc6ab041dd638d1f57d3
https://doi.org/10.1007/978-3-319-16101-3_1

How to assess telecom service availability risks for crisis organisations?

Autor: Vriezekolk, E., Wieringa, R.J., Etalle, S., Berenguer, C., Grall, A., Guedes Soares, C.

Publikováno v: Advances in Safety, Reliability and Risk Management, 2653-2661
STARTPAGE=2653;ENDPAGE=2661;TITLE=Advances in Safety, Reliability and Risk Management
Advances in Safety, Reliability and Risk Management (Proceedings of the European Safety and Reliability Conference, ESREL 2011, Troyes, France, September 18-22, 2011), 2653-2661
STARTPAGE=2653;ENDPAGE=2661;TITLE=Advances in Safety, Reliability and Risk Management (Proceedings of the European Safety and Reliability Conference, ESREL 2011, Troyes, France, September 18-22, 2011)

Crisis organisations, such as fire services, disaster relief and emergency medical care, nowa- days depend on telecommunications services in an unprecedented manner. Unavailability of these services during a crisis may cost lives. In order not to be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0fd75d96791d021e119f8f8d9493c80a
https://research.utwente.nl/en/publications/how-to-assess-telecom-service-availability-risks-for-crisis-organisations(0f44be98-ff07-448e-a372-a83ac6bea6c6).html

RiskREP : risk-based security requirements elicitation and prioritization

Autor: Herrmann, A., Morali, A., Etalle, S., Wieringa, R.J.

Publikováno v: Proceedings of the The First International Workshop on Alignment of Business Process and Security Modelling (ABPSM’11, Riga, Latvia, October 6-8, 2011), 155-162
STARTPAGE=155;ENDPAGE=162;TITLE=Proceedings of the The First International Workshop on Alignment of Business Process and Security Modelling (ABPSM’11, Riga, Latvia, October 6-8, 2011)

Companies are under pressure to be in control of their assets but at the same time they must operate as efficiently as possible. This means that they aim to implement "good-enough security" but need to be able to justify their security investment pla

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::3012b29d0cda55221709cac309c5ef4d
https://research.tue.nl/nl/publications/2b80ce58-7b2d-4c51-92dc-71e2bbf58b5c

CRAC : Confidentiality risk analysis and IT-architecture comparison of business networks

Autor: Morali, A., Zambon, E., Etalle, S., Wieringa, R.J.

Publikováno v: Proceedings of the 6th International Conference on Network and Service Management (CNSM 2010, Niagara Falls, Canada, October 25-29, 2010), 322-325
STARTPAGE=322;ENDPAGE=325;TITLE=Proceedings of the 6th International Conference on Network and Service Management (CNSM 2010, Niagara Falls, Canada, October 25-29, 2010)

The leakage of confidential information (e.g. industrial secrets, patient records and user credentials) is one of the risks that have to be accounted for and mitigated by organizations dealing with confidential data. Unfortunately, assessing confiden

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f37ff90320a6adae47e173488939cbd9
https://research.tue.nl/nl/publications/68cdd03b-102d-48f6-90ce-4e57c2112f05

Actor-oriented system specification with dynamic logic

Autor: Meyer, J.-J.Ch., Wieringa, R.J., Abramsky, S., Maibaum, T.S.E.

Publikováno v: TAPSOFT '91 ISBN: 9783540539810
TAPSOFT, Vol.2
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991, 337-357
STARTPAGE=337;ENDPAGE=357;TITLE=TAPSOFT '91

In this paper, we extend dynamic logic with the concept of an actor in order to be able to specify who takes the initiative of an action, who makes a choice, or who controls a synchronization of actions. We give two examples of application of this id

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60c21812b06e1a164e7071bdf5762d13
https://doi.org/10.1007/3540539816_75