04.1 Saggio in atti di convegno (Paper in Proceedings)

04.1 Saggio in atti di convegno (Paper in Proceedings): [20181] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.401 a 2.420 di 20.181

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.

Light-Weight SMT-based Model Checking

2009-01-01 Ghilardi, S.; Ranise, S.; Valsecchi, T.

Automated synthesis of run-time monitors to enforce authorization policies in business processes

2015-01-01 Bertolissi, C.; Dos Santos, D. R.; Ranise, S.

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 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

Titolo	Anno di pubblicazione	Autori Unitn
WSSMT: Towards the automated analysis of security-sensitive services and applications	1-gen-2010	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	1-gen-2018	Ahmad T.Morelli U.Ranise S.Zannone N. + -
Light-Weight SMT-based Model Checking	1-gen-2009	Ghilardi S.Ranise S.Valsecchi T. + -
Automated synthesis of run-time monitors to enforce authorization policies in business processes	1-gen-2015	Bertolissi C.Dos Santos D. R.Ranise S. + -
Assisting the deployment of security-sensitive workflows by finding execution scenarios	1-gen-2015	dos Santos D. R.Ranise S.Compagna L.Ponta S. E. + -
Automated validation of security-sensitive web services specified in BPEL and RBAC	1-gen-2010	Calvi A.Ranise S.Vigano L. + -
ASASP: Automated Symbolic Analysis of Security Policies	1-gen-2011	Alberti, FArmando, ARanise, S + -
ALPS: An Action Language for Policy Specification and Automated Safety Analysis	1-gen-2014	Ranise, STraverso, R + -
Light-weight theorem proving for debugging and verifying units of code	1-gen-2003	Deharbe D.Ranise S. + -
Boosting model checking to analyse large ARBAC policies	1-gen-2013	Ranise S.Truong A.Armando A. + -
Nelson-Oppen, Shostak and the extended Canonizer: A family picture with a newborn	1-gen-2005	Ranise S.Ringeissen C.Tran D. -K. + -
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal	1-gen-2005	Armando A.Bonacina M. P.Ranise S.Schulz S. + -
Modeling authorization policies for Web services in presence of transitive dependencies	1-gen-2015	Uttha W.Bertolissi C.Ranise S. + -
Modular synthesis of enforcement mechanisms for the workflow satisfiability problem: Scalability and reusability	1-gen-2016	Dos Santos D. R.Ponta S. E.Ranise S. + -
Combination methods for satisfiability and model-checking of infinite-state systems	1-gen-2007	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	1-gen-2015	Armando A.Ranise S.Traverso R.Wrona K. + -
Quality Diversity Evolutionary Learning of Decision Trees	1-gen-2023	Ferigo, AndreaCustode, Leonardo LucioIacca, Giovanni
Genetic improvement of routing in delay tolerant networks	1-gen-2021	Lorandi M.Custode L. L.Iacca G. + -
Junction effect on the photocatalytic activity of mixed-phase TiO 2 nanoparticles	1-gen-2010	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	1-gen-2014	De Gramatica, MartinaMassacci, FabioGadyatskaya, Olga

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.401 a 2.420 di 20.181

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

Accesso al fulltext

no fulltext14995
reserved3206
open1492
partially open478
mixed8
embargoed2