Automated and Efficient Analysis of Role-Based Access Control with Attributes
2012-01-01 Armando, A; Ranise, S
From strong amalgamability to modularity of quantifier-free interpolation
2012-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
Towards a reference architecture for access control in distributed web applications
2014-01-01 Uttha, W.; Bertolissi, C.; Ranise, S.
Automated support for the design and validation of fault tolerant Parameterized systems: A case study
2010-01-01 Alberti, F.; Ghilardi, S.; Pagani, E.; Ranise, S.; Rossi, G. P.
Solving multi-objectiveworkflow satisfiability problems with optimization modulo theories techniques
2018-01-01 Bertolissi, C.; Dos Santos, D. R.; Ranise, S.
Combining proof-producing decision procedures
2007-01-01 Ranise, S.; Ringeissen, C.; Tran, D. -K.
Assisted content-based labelling and classification of documents
2016-01-01 Wrona, K.; Oudkerk, S.; Armando, A.; Ranise, S.; Traverso, R.; Ferrari, L.; Mcevoy, R.
From integrated reasoning specialists to “plug-And-Play” reasoning components
1998-01-01 Armando, A.; Ranise, S.
Noetherianity and combination problems
2007-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Selective release of smart metering data in multi-domain smart grids
2014-01-01 Armando, A.; Carbone, R.; Chekole, E. G.; Petrazzuolo, C.; Ranalli, A.; Ranise, S.
Formal modelling of content-based protection and release for access control in NATO operations
2014-01-01 Armando, A.; Oudkerk, S.; Ranise, S.; Wrona, K.
Rewriting-based quantifier-free interpolation for a theory of arrays
2011-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
ASASPXL: New clother for analysing ARBAC policies
2016-01-01 Truong, A.; Ranise, S.
Incremental analysis of evolving administrative role based access control policies
2014-01-01 Ranise, S.; Truong, A.
Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
2006-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Automated analysis of infinite state workflows with access control policies
2012-01-01 Armando, A.; Ranise, S.
Constraint solving in logic programming and in automated deduction: A comparison
1998-01-01 Armando, A.; Melis, E.; Ranise, S.
On superposition-based satisfiability procedures and their combination
2005-01-01 Kirchner, H.; Ranise, S.; Ringeissen, C.; Tran, D. K.
Combining data structures with nonstably infinite theories using many-sorted logic
2005-01-01 Ranise, S.; Ringeissen, C.; Zarba, C. G.
Automatic combinability of rewriting-based satisfiability procedures
2006-01-01 Kirchner, H.; Ranise, S.; Ringeissen, C.; Tran, D. -K.
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)20240
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa42
- 2020 - 20263316
- 2010 - 20197193
- 2000 - 20096477
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2265
- Institute of Electrical and Elect...951
- Springer898
- ACM389
- IEEE Computer Society312
- Springer Verlag294
- SPIE181
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery161
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE679
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...172
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...93
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...55
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...30
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...6
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications148
- Computer Science Applications1707...143
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence52
- Modeling and Simulation49
Lingua
- eng15177
- ita3560
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14990
- reserved3238
- open1518
- partially open486
- mixed8
- embargoed2