Compiling NATO Authorization Policies for Enforcement in the Cloud and SDNs
2015-01-01 Armando, A; Ranise, S; Traverso, R; Wrona, K
Towards SMT model checking of array-based systems
2008-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Combining lists with non-stably infinite theories
2005-01-01 Fontaine, P.; Ranise, S.; Zarba, C. G.
A methodology to build run-time monitors for security-aware workflows
2013-01-01 Bertolissi, C.; Ranise, S.
Mobile app security assessment with the maveric dynamic analysis module
2015-01-01 Armando, A.; Bocci, G.; Costa, G.; Mammoliti, R.; Merlo, A.; Ranise, S.; Traverso, R.; Valenza, A.
Automated analysis of semantic-aware access control policies: A logic-based approach
2011-01-01 Armando, A.; Carbone, R.; Ranise, S.
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies
2011-01-01 Alberti, F.; Armando, A.; Ranise, S.
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
2006-01-01 Bonacina, M. P.; Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows
2013-01-01 Bertolissi, C; Ranise, S
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things
2018-01-01 Conti, M.; Kaliyar, P.; Rabbani, M. M.; Ranise, S.
Attribute based access control for APIs in Spring security
2014-01-01 Armando, A.; Carbone, R.; Chekole, E. G.; Ranise, S.
Decision procedures for the formal analysis of software
2006-01-01 Deharbe, D.; Fontaine, P.; Ranise, S.; Ringeissen, C.
Automated analysis of RBAC policies with temporal constraints and static role hierarchies
2015-01-01 Ranise, S.; Truong, A.; Vigano, L.
On the automated analysis of safety in usage control: A new decidability result
2012-01-01 Ranise, S.; Armando, A.
Automated Symbolic Analysis of ARBAC-Policies
2011-01-01 Armando, A; Ranise, S
A theory of singly-linked lists and its extensible decision procedure
2006-01-01 Ranise, S.; Zarba, C.
Assisted authoring, analysis and enforcement of access control policies in the cloud
2017-01-01 Morelli, U.; Ranise, S.
On run-time enforcement of authorization constraints in security-sensitive Workflows
2017-01-01 dos Santos, D. R.; Ranise, S.
WSSMT: Towards the automated analysis of security-sensitive services and applications
2010-01-01 Barletta, M.; Calvi, A.; Ranise, S.; Vigano, L.; Zanetti, L.
A lazy approach to access control as a service (ACaaS) for IoT: An AWS case study
2018-01-01 Ahmad, T.; Morelli, U.; Ranise, S.; Zannone, N.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Convegni (Proceedings)20444
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20273498
- 2010 - 20197208
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2224
- Institute of Electrical and Elect...1019
- Springer900
- ACM380
- IEEE Computer Society330
- Springer Verlag298
- SPIE187
- Association for Computing Machinery174
- Association for Computational Lin...171
- Springer Science and Business Med...171
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- INTERNATIONAL ARCHIVES OF THE PHO...13
- AIP CONFERENCE PROCEEDINGS12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE705
- CEUR WORKSHOP PROCEEDINGS261
- PROCEEDINGS OF SPIE, THE INTERNAT...187
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE113
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...79
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IFAC-PAPERSONLINE58
- IEEE INTERNATIONAL GEOSCIENCE AND...54
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...32
- Settore INF/01 - Informatica23
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...9
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15356
- ita3585
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14965
- reserved3347
- open1609
- partially open517
- mixed6
- embargoed2