Ranise, Silvio

Ranise, Silvio  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 155 (tempo di esecuzione: 0.049 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Abstraction-Driven Verification of Array Programs 1-gen-2004 Ranise S. +
Aegis: Automatic enforcement of security policies in workflow-driven web applications 1-gen-2017 Ranise S. +
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 1-gen-2014 Ranise, S +
Analysis of XACML policies with SMT 1-gen-2015 Ranise S. +
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 1-gen-2017 Sciarretta, GiadaRanise, Silvio +
Applying light-weight theorem proving to debugging and verifying pointer programs 1-gen-2003 Ranise S. +
ASASP: Automated Symbolic Analysis of Security Policies 1-gen-2011 Ranise, S +
ASASPXL: New clother for analysing ARBAC policies 1-gen-2016 Ranise S. +
Assisted authoring, analysis and enforcement of access control policies in the cloud 1-gen-2017 Ranise S. +
Assisted content-based labelling and classification of documents 1-gen-2016 Ranise S. +
Assisting the deployment of security-sensitive workflows by finding execution scenarios 1-gen-2015 Ranise S. +
Attestation-enabled secure and scalable routing protocol for IoT networks 1-gen-2020 Ranise S. +
Attribute based access control for APIs in Spring security 1-gen-2014 Ranise S. +
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations 1-gen-2019 Morelli U.Ranise S.Sciarretta G. +
Automated analysis of infinite state workflows with access control policies 1-gen-2012 Ranise S. +
Automated analysis of parametric timing-based mutual exclusion algorithms 1-gen-2012 Ranise S. +
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 1-gen-2015 Ranise S. +
Automated analysis of scenario-based specifications of distributed access control policies with non-mechanizable activities 1-gen-2013 Ranise S. +
Automated analysis of semantic-aware access control policies: A logic-based approach 1-gen-2011 Ranise S. +
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies 1-gen-2018 Ranise S. +