Assisting the deployment of security-sensitive workflows by finding execution scenarios
2015-01-01 dos Santos, D. R.; Ranise, S.; Compagna, L.; Ponta, S. E.
Automated synthesis of run-time monitors to enforce authorization policies in business processes
2015-01-01 Bertolissi, C.; Dos Santos, D. R.; Ranise, S.
Automated validation of security-sensitive web services specified in BPEL and RBAC
2010-01-01 Calvi, A.; Ranise, S.; Vigano, L.
ASASP: Automated Symbolic Analysis of Security Policies
2011-01-01 Alberti, F; Armando, A; Ranise, S
ALPS: An Action Language for Policy Specification and Automated Safety Analysis
2014-01-01 Ranise, S; Traverso, R
Light-weight theorem proving for debugging and verifying units of code
2003-01-01 Deharbe, D.; Ranise, S.
Boosting model checking to analyse large ARBAC policies
2013-01-01 Ranise, S.; Truong, A.; Armando, A.
Nelson-Oppen, Shostak and the extended Canonizer: A family picture with a newborn
2005-01-01 Ranise, S.; Ringeissen, C.; Tran, D. -K.
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal
2005-01-01 Armando, A.; Bonacina, M. P.; Ranise, S.; Schulz, S.
Modeling authorization policies for Web services in presence of transitive dependencies
2015-01-01 Uttha, W.; Bertolissi, C.; Ranise, S.
Modular synthesis of enforcement mechanisms for the workflow satisfiability problem: Scalability and reusability
2016-01-01 Dos Santos, D. R.; Ponta, S. E.; Ranise, S.
Combination methods for satisfiability and model-checking of infinite-state systems
2007-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
A SMT-based tool for the analysis and enforcement of NATO content-based protection and release policies
2015-01-01 Armando, A.; Ranise, S.; Traverso, R.; Wrona, K.
Quality Diversity Evolutionary Learning of Decision Trees
2023-01-01 Ferigo, Andrea; Custode, Leonardo Lucio; Iacca, Giovanni
Genetic improvement of routing in delay tolerant networks
2021-01-01 Lorandi, M.; Custode, L. L.; Iacca, G.
Junction Effect on the Photocatalytic Activity of Mixed-Phase TiO 2 Nanoparticles
2010-01-01 Di Paola, A.; Bellardita, M.; Palmisano, L.; Parrino, F.
An empirical study of the technology transfer potential of EU security and trust R&D projects
2014-01-01 De Gramatica, Martina; Massacci, Fabio; Gadyatskaya, Olga
Security of the OSGi platform
2012-01-01 Philippov, Anton; Gadyatskaya, Olga; Massacci, Fabio
Requirement evolution: Towards a methodology and framework?
2011-01-01 Tran, Le Minh Sang; Massacci, Fabio; Mylopoulos, Ioannis
Modelling cardiac electrophysiological knowledge in a real-time measurement device
1988-01-01 Irler, Wj; Antolini, Renzo; Kirchner, M; Ravelli, Flavia
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)20341
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263400
- 2010 - 20197203
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2253
- Institute of Electrical and Elect...975
- Springer894
- ACM382
- IEEE Computer Society320
- Springer Verlag295
- SPIE186
- Association for Computing Machinery171
- CEUR-WS169
- Association for Computational Lin...168
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 SCIENCE688
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...181
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
- PROCEEDINGS OF THE IEEE CONFERENC...53
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- 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...7
- Settore L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...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
- eng15263
- ita3575
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14936
- reserved3303
- open1581
- partially open514
- mixed7
- embargoed2