Items created by Franqueira, Virginia Nunes Leal

Al-Mutawa, Noora, Bryce, Joanne ORCID: 0000-0001-9144-2899, Franqueira, Virginia Nunes Leal, Marrington, Andrew and Read, Janet C ORCID: 0000-0002-7138-1643 (2019) Behavioural Digital Forensics Model: Embedding Behavioural Evidence Analysis into the investigation of digital crimes. Digital Investigation, 28 . pp. 70-82. ISSN 1742-2876

Lopes, R. H. C., Franqueira, Virginia Nunes Leal and Hobson, P. R. (2014) Efficient Computation of Hashes. Journal of Physics: Conference Series, 513 (3).

Franqueira, Virginia Nunes Leal, van Cleeff, Andre, van Eck, Pascal and Wieringa, Roel J. (2013) Engineering Security Agreements Against External Insider Threat. Information Resources Management Journal, 26 (4). pp. 66-91.

Lopes, Raul H. C., Franqueira, Virginia Nunes Leal and Hobson, Peter (2013) Efficient Computation of Hash Functions. In: 20th International Conference on Computing In High Energy and Nuclear Physics (CHEP2013), 14-18 October 2013, Amsterdam, The Netherlands.

Franqueira, Virginia Nunes Leal and Wieringa, Roel J. (2012) Role-Based Access Control in Retrospect. IEEE Computer, 45 (6). pp. 81-88. ISSN 0018-9162

Condori-Fernándezand, Nelly, Franqueira, Virginia Nunes Leal and Wieringa, Roel (2012) Report on the Survey of Role-Based Access Control (RBAC) in Practice. Centre for Telematics and Information Technology (CTIT), Enschede, the Netherlands.

Franqueira, Virginia Nunes Leal, van Cleeff, André, van Eck, Pascal and Wieringa, Roel (2012) Securing the Extended Enterprise: A Method for Analyzing External Insider Threat. In: Strategic and Practical Approaches for Information Security Governance: Technologies and Applied Solutions. IGI Global, Hershey, USA, pp. 195-222. ISBN 9781466601970

Franqueira, Virginia Nunes Leal (2011) Towards Agile Security Risk Management in RE and Beyond. In: First International Workshop on Empirical Requirements Engineering (EmpiRE), 2011. Institute of Electrical and Electronics Engineers (IEEE), Trento, pp. 33-36. ISBN 978-1-4577-1075-9

Yu, Yijun, Tun, Thein Tan, Tedeschi, Alessandra, Franqueira, Virginia Nunes Leal and Nuseibeh, Bashar (2011) OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. In: 19th IEEE International Requirements Engineering Conference, RE 2011, 9 Aug 2011-2 Sep 2011, Trento, Italy.

Franqueira, Virginia Nunes Leal, Tun, Thein Tan, Yu, Yijun, Wieringa, Roel and Nuseibeh, Bashar (2011) Risk and Argument: A Risk-based Argumentation Method for Practical Security. In: Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference. Institute of Electrical and Electronics Engineers (IEEE), USA, pp. 239-248. ISBN 978-1-4577-0923-4

Franqueira, Virginia Nunes Leal and Condori Fernandez, Nelly (2011) RBAC in Practice. In: Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings. Lecture Notes in Computer Science, 6606 . Springer, Essen, Germany. ISBN 978-3-642-19858-8

Franqueira, Virginia Nunes Leal, Houmb, Siv Hilde and Daneva, Maya (2010) Using Real Option Thinking to Improve Decision Making in Security Investment. In: On the Move to Meaningful Internet Systems: OTM2010. Lecture Notes in Computer Science, 6426 . Springer, London, pp. 619-638.

Houmb, Siv Hilde, Franqueira, Virginia Nunes Leal and Engum, Erlend A. (2010) Quantifying security risk level from CVSS estimates of frequency and impact. Journal of Systems and Software, 83 (9). pp. 1622-1634. ISSN 0164-1212

Franqueira, Virginia Nunes Leal and Wieringa, Roel (2010) Value-driven Security Agreements in Extended Enterprises. Technical Report. Centre for Telematics and Information Technology (CTIT), Enschede.

Franqueira, Virginia Nunes Leal, van Cleeff, André, van Eck, Pascal and Wieringa, Roel (2010) External Insider Threat: a Real Security Challenge in Enterprise Value Webs. In: Fifth International Conference on Availability, Reliability and Security, ARES 2010, 15-18 February 2010, Krakow, Poland.

Franqueira, Virginia Nunes Leal (2009) Finding multi-step attacks in computer networks using heuristic search and mobile ambients. Doctoral thesis, University of Twente.

Houmb, Siv Hilde and Franqueira, Virginia Nunes Leal (2009) Estimating ToE Risk Level using CVSS. In: Proceedings of the Fourth International Conference on Availability, Reliability and Security (ARES 2009 ? The International Dependability Conference), 16-19 March 2009, Fukuoka, Japan.

Franqueira, Virginia Nunes Leal, van Eck, Pascal and Wieringa, Roel (2009) A Mobile Ambients-based Approach for Network Attack Modelling and Simulation. In: Proceedings of the Fourth International Workshop on Dependability Aspects on Data Warehousing and Mining applications, DAWAM 2009 (in conjunction with ARES 2009, The Fourth International Conference on Availability, Reliability and Security), 16-19 March 2009, Fukuoka, Japan.

Franqueira, Virginia Nunes Leal, Lopes, Raul H. C. and van Eck, Pascal (2009) Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. In: Proceeding SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing. Association for Computing Machinery (ACM), New York, NY, USA, pp. 66-73. ISBN 978-1-60558-166-8

Houmb, Siv Hilde, Franqueira, Virginia Nunes Leal and Engum, Erlend A. (2008) Estimating Impact and Frequency of Risks to Safety and Mission Critical Systems Using CVSS. In: ISSRE 2008 Supplemental Proceedings: 1st Workshop on Dependable Software Engineering, 11 November 2008, Seattle, USA.

Franqueira, Virginia Nunes Leal, Lopes, Raul H. C. and van Eck, Pascal (2008) Multi-step Attack Modelling and Simulation (MsAMS) Framework based on Mobile Ambients. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.

Franqueira, Virginia Nunes Leal and van Keulen, Maurice (2008) Analysis of the NIST database towards the composition of vulnerabilities in attack scenarios. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.

Franqueira, Virginia Nunes Leal and Lopes, Raul H.C. (2007) Vulnerability Assessment by Learning Attack Specifications in Graphs. In: Third International Symposium on Information Assurance and Security, 2007. IAS 2007. Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, CA, USA, pp. 161-164. ISBN 0-7695-2876-7

Franqueira, Virginia Nunes Leal, Lopes, R.H.C. and van Eck, P.A.T. (2007) An Evolutionary Approach for Learning Attack Specifications in Network Graphs. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.

Franqueira, Virginia Nunes Leal and van Eck, Pascal (2007) Defense against Insider Threat: a Framework for Gathering Goal-based Requirements. In: Proceedings of the 12th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2007), held in conjuction with CAISE'07, June 11-15, 2007, Trondheim, Norway.

Franqueira, Virginia Nunes Leal and van Eck, Pascal (2006) Defense against Insider Threat: a Framework for Gathering Goal-based Requirements. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.

Franqueira, Virginia Nunes Leal and van Eck, Pascal (2006) Towards alignment of architectural domains in security policy specifications. In: 8th International Symposium on System and Information Security, 08-10 Nov 2006, Sao Jose dos Campos, Brazil.

Franqueira, Virginia Nunes Leal (2006) Evolution of security policies. In: Doctoral Symposium Proceedings of the 14th IEEE International Requirements Engineering Conference (RE06), 11-15 Sep 2006, Minnesota, USA..

Franqueira, Virginia Nunes Leal (2006) Access Control from an Intrusion Detection Perspective. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.