Publications

61. Bertolissi, Clara; dos Santos, Daniel Ricardo; Ranise, Silvio,
    Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes,
    Proceeding ASIA CCS '15 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 297-
    308
    , (10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015),
    Singapore,
    14-17 April 2015)
62. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    Compiling NATO authorization policies for enforcement in the cloud and SDNs,
    Communications and Network Security (CNS), 2015 IEEE Conference on,
    IEEE,
    2015
    , pp. 741-
    742
    , (IEEE Conference on Communications and Network Security (CNS) 2015,
    Florence, Italy,
    September 28-30, 2015)
63. dos Santos, Daniel R.; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.,
    Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios,
    Data and Applications Security and Privacy XXIX,
    Springer International Publishing,
    vol.9149,
    2015
    , pp. 85-
    100
    , (29th Annual IFIP WG 11.3 Working Conference, DBSec 2015,
    Fairfax, VA, USA,
    July 13-15, 2015)
64. Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola,
    Analysis of XACML Policies with SMT,
    Principles of Security and Trust,
    Springer Berlin Heidelberg,
    vol.9036,
    2015
    , pp. 115-
    134
    , (4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,
    London, UK,
    April 11-18, 2015)
65. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    Automated analysis of RBAC policies with temporal constraints and static role hierarchies,
    Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 2177-
    2184
    , (30th Annual {ACM} Symposium on Applied Computing 2015,
    Salamanca, Spain,
    April 13-17, 2015)
66. Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet,
    Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies,
    SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography,
    2015
    , pp. 293-
    300
    , (12th International Conference on Security and Cryptography (SECRYPT 2015),
    Colmar, France,
    20-22 July 2015)
67. De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio,
    A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies,
    Security and Trust Management, 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings,
    Springer International Publishing,
    vol.9331,
    2015
    , pp. 55-
    71
    , (1th International Workshop on Security and Trust Management (STM),
    Vienna, Austria,
    September 21-22, 2015)
68. Lutz, Carsten; Ranise, Silvio (eds.),
    Frontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings,
    Springer International Publishing,
    2015
69. Daniel, Ricardo dos Santos; Silvio, Ranise; Serena, Elisa Ponta,
    Modularity for Security-Sensitive Workflows,
    An established trend in software engineering insists on using components
    (sometimes also called services or packages) to encapsulate a set of related
    functionalities or data. By defining interfaces specifying what functionalities
    they provide or use, components can be combined with others to form more
    complex components. In this way, IT systems can be designed by mostly re-using
    existing components and developing new ones to provide new functionalities. In
    this paper, we introduce a notion of component and a combination mechanism for
    an important class of software artifacts, called security-sensitive workflows.
    These are business processes in which execution constraints on the tasks are
    complemented with authorization constraints (e.g., Separation of Duty) and
    authorization policies (constraining which users can execute which tasks). We
    show how well-known workflow execution patterns can be simulated by our
    combination mechanism and how authorization constraints can also be imposed
    across components. Then, we demonstrate the usefulness of our notion of
    component by showing (i) the scalability of a technique for the synthesis of
    run-time monitors for security-sensitive workflows and (ii) the design of a
    plug-in for the re-use of workflows and related run-time monitors inside an
    editor for security-sensitive workflows.,
    2015
70. Evandro Alencar Rigon;Carla Merkle Westphall;Daniel Ricardo dos Santos;Carlos Becker Westphall,
    A cyclical evaluation model of information security maturity,
    in «INTERNATIONAL JOURNAL OF INFORMATION AND COMPUTER SECURITY»,
    vol. 22,
    2014
    , pp. 265 -
    278

Pages