Departmental Technical Report

Gadyatskaya, Olga and Massacci, Fabio and Nguyen, Quang-Huy and Chetali, Boutheina (2012) Load Time Code Validation for Mobile Phone Java Cards. Trento : Università di Trento. (Unpublished)

Gadyatskaya, Olga and Lostal, Eduardo and Massacci, Fabio (2011) Load Time Security Verification: The Claim Checker. UNSPECIFIED.

Massacci, Fabio and Paci, Federica and Gadyatskaya, Olga (2010) Dynamic resiliency to user assignment. UNSPECIFIED. (Unpublished)

Massacci, Fabio and Nguyen, Viet Hung (2010) Which is the Right Source for Vulnerability Studies? An Empirical Analysis on Mozilla Firefox. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Lim, Hoon Wei and Massacci, Fabio and Worledge, Claire (2009) Realizing Trustworthy Business Services by a New GRC Approach. UNSPECIFIED. (In Press)

Massacci, Fabio and Siahaan, Ida (2009) Simulation Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Inclusion Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Bielova, Nataliia and Massacci, Fabio (2008) Do you really mean what you actually enforced? Edit Automata revisited. UNSPECIFIED.

Bielova, Nataliia and Massacci, Fabio (2008) Do you really mean what you actually enforced? UNSPECIFIED. (Submitted)

Frankova, Ganna and Massacci, Fabio and Seguran, Magali (2007) From Early Requirements Analysis towards Secure Workflows. UNSPECIFIED. (Unpublished)

Asnar, Yudistira and Giorgini, Paolo and Massacci, Fabio and Zannone, Nicola (2006) From Trust to Dependability through Risk Analysis. UNSPECIFIED.

Massacci, Fabio and Naliuka, Katsiaryna (2006) Multi-session Security Monitoring for Mobile Code. UNSPECIFIED. (Unpublished)

Bryl, Volha and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2006) Designing Security Requirements Models through Planning. UNSPECIFIED.

Massacci, Fabio and Zannone, Nicola (2006) Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. UNSPECIFIED. (Unpublished)

Kuper, Gabriel and Massacci, Fabio and Rassadko, Nataliya (2005) Generalized XML Security Views. UNSPECIFIED. (Unpublished)

Kuper, Gabriel and Massacci, Fabio and Rassadko, Nataliya (2005) Query Rewriting over Generalized XML Security Views. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Security Requirements Through Ownership, Permission and Delegation. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2005) Abduction and Deduction in Logic Programming for Access Control for Autonomic Systems. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Social and Individual Trust in Requirements Engineering Methodologies. UNSPECIFIED. (Submitted)

Massacci, Fabio and Prest, Marco and Zannone, Nicola (2004) Using a Security Requirements Engineering Methodology in Practice: the compliance with the Italian Data Protection Legislation. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2004) Interactive Access Control in Autonomic Communication. UNSPECIFIED. (In Press)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2004) Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures. UNSPECIFIED.

Massacci, Fabio and Zannone, Nicola (2004) Privacy is Linking Permission to Purpose. UNSPECIFIED. (Unpublished)

Koshutanski, Hristo and Massacci, Fabio (2004) Interactive Access Control for Web Services. UNSPECIFIED. (In Press)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2004) Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning. UNSPECIFIED. (Unpublished)

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John (2003) Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. UNSPECIFIED.

Koshutanski, Hristo and Massacci, Fabio (2002) An Access Control System for Business Processes for Web Services. UNSPECIFIED. (Unpublished)