A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
2015-01-01 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
Balancing Trust and Risk in Access Control
2015-01-01 Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies
2015-01-01 Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet
Automated analysis of RBAC policies with temporal constraints and static role hierarchies
2015-01-01 Ranise, Silvio; Truong, Tuan Anh; Viganò, Luca
Analysis of XACML Policies with SMT
2015-01-01 Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
2015-01-01 Dos Santos, Daniel Ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.
Trusted host-based card emulation
2015-01-01 Armando, Alessandro; Merlo, Alessio; Verderame, Luca
Android Permissions Unleashed
2015-01-01 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module
2015-01-01 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Development and tests of a new prototype detector for the XAFS beamline at Elettra Synchrotron in Trieste
2016-01-01 Fabiani, S; Ahangarianabhari, M; Baldazzi, G; Bellutti, Pierluigi; Bertuccio, G; Bruschi, M; Bufon, J; Carrato, S; Castoldi, A; Cautero, G; Ciano, S; Cicuttin, A; Crespo, M. L; Santos, M. Dos; Gandola, M; Giacomini, Gabriele; Giuressi, D; Guazzoni, C; Menk, R. H; Niemela, J; Olivi, L; Picciotto, Antonino; Piemonte, Claudio; Rashevskaya, I; Rachevski, A; Rignanese, L. P; Sbrizzi, A; Schillani, S; Vacchi, A; Garcia, V. Villaverde; Zampa, G; Zampa, N; Zorzi, Nicola
Resummation of Large Logarithms in the Rapidity Evolution of Color Dipoles
2015-01-01 Iancu, Edmond; Madrigal, J. D.; Mueller, A. H.; Soyez, Gregory Emmanuel Ghislain; Triantafyllopoulos, Dionysios
Particle production with rapidity correlations in proton-nucleus collisions
2015-01-01 Iancu, Edmond; Madrigal Martinez, José Daniel; Triantafyllopoulos, Dionysios
Gauge fixing and the gluon propagator in renormalizable xi gauges
2015-01-01 Pedro, Bicudo; Binosi, Daniele; Nuno, Cardoso; Orlando, Oliveira; Paulo, J. Silva
The two-, three- and four-gluon sector of QCD in the Landau gauge
2015-01-01 Binosi, Daniele
From continuum QCD to hadron observables
2015-01-01 Binosi, Daniele
Surface characterization of polydimethylsiloxane: An AFM study
2015-01-01 Tinku, Sajina; Iacob, Erica; Lorenzelli, Leandro; Dahiya, Ravinder Singh
The HIM glocal metric and kernel for network comparison and classification
2015-01-01 Jurman, Giuseppe; Visintainer, Roberto; Filosi, Michele; Riccadonna, Samantha; Furlanello, Cesare
Uncovering Interactions and Interactors: Joint Estimation of Head, Body Orientation and F-formations from Surveillance Videos
2015-01-01 Ricci, Elisa; Varadarajan, Jagannadan; Subramanian, Ramanathan; Rota Bulò, Samuel; Ahuja, Narendra; Lanz, Oswald
Exploiting multilinguality for creating mappings between thesauri
2015-01-01 Dragoni, Mauro
Multilingual Ontology Mapping in Practice: A Support System for Domain Experts
2015-01-01 Dragoni, Mauro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies | 1-gen-2015 | Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad | |
| Balancing Trust and Risk in Access Control | 1-gen-2015 | Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia | |
| Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies | 1-gen-2015 | Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet | |
| Automated analysis of RBAC policies with temporal constraints and static role hierarchies | 1-gen-2015 | Ranise, Silvio; Truong, Tuan Anh; Viganò, Luca | |
| Analysis of XACML Policies with SMT | 1-gen-2015 | Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola | |
| Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios | 1-gen-2015 | Dos Santos, Daniel Ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena E. | |
| Trusted host-based card emulation | 1-gen-2015 | Armando, Alessandro; Merlo, Alessio; Verderame, Luca | |
| Android Permissions Unleashed | 1-gen-2015 | Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio | |
| Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module | 1-gen-2015 | Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea | |
| Development and tests of a new prototype detector for the XAFS beamline at Elettra Synchrotron in Trieste | 1-gen-2016 | Fabiani, S; Ahangarianabhari, M; Baldazzi, G; Bellutti, Pierluigi; Bertuccio, G; Bruschi, M; Bufon, J; Carrato, S; Castoldi, A; Cautero, G; Ciano, S; Cicuttin, A; Crespo, M. L; Santos, M. Dos; Gandola, M; Giacomini, Gabriele; Giuressi, D; Guazzoni, C; Menk, R. H; Niemela, J; Olivi, L; Picciotto, Antonino; Piemonte, Claudio; Rashevskaya, I; Rachevski, A; Rignanese, L. P; Sbrizzi, A; Schillani, S; Vacchi, A; Garcia, V. Villaverde; Zampa, G; Zampa, N; Zorzi, Nicola | |
| Resummation of Large Logarithms in the Rapidity Evolution of Color Dipoles | 1-gen-2015 | Iancu, Edmond; Madrigal, J. D.; Mueller, A. H.; Soyez, Gregory Emmanuel Ghislain; Triantafyllopoulos, Dionysios | |
| Particle production with rapidity correlations in proton-nucleus collisions | 1-gen-2015 | Iancu, Edmond; Madrigal Martinez, José Daniel; Triantafyllopoulos, Dionysios | |
| Gauge fixing and the gluon propagator in renormalizable xi gauges | 1-gen-2015 | Pedro, Bicudo; Binosi, Daniele; Nuno, Cardoso; Orlando, Oliveira; Paulo, J. Silva | |
| The two-, three- and four-gluon sector of QCD in the Landau gauge | 1-gen-2015 | Binosi, Daniele | |
| From continuum QCD to hadron observables | 1-gen-2015 | Binosi, Daniele | |
| Surface characterization of polydimethylsiloxane: An AFM study | 1-gen-2015 | Tinku, Sajina; Iacob, Erica; Lorenzelli, Leandro; Dahiya, Ravinder Singh | |
| The HIM glocal metric and kernel for network comparison and classification | 1-gen-2015 | Jurman, Giuseppe; Visintainer, Roberto; Filosi, Michele; Riccadonna, Samantha; Furlanello, Cesare | |
| Uncovering Interactions and Interactors: Joint Estimation of Head, Body Orientation and F-formations from Surveillance Videos | 1-gen-2015 | Ricci, Elisa; Varadarajan, Jagannadan; Subramanian, Ramanathan; Rota Bulò, Samuel; Ahuja, Narendra; Lanz, Oswald | |
| Exploiting multilinguality for creating mappings between thesauri | 1-gen-2015 | Dragoni, Mauro | |
| Multilingual Ontology Mapping in Practice: A Support System for Domain Experts | 1-gen-2015 | Dragoni, Mauro |
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
- 4 Contributo in Atti di Convegno ...7937
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261561
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...98
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE23
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6441
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6823
- open482
- restricted464
- reserved165
- partially open2
- mixed1