E-LIB Suche - Ergebnisse für: Gian Luigi Ferrari

1

Model checking usage policies:

BARTOLETTI, MASSIMO ; DEGANO, PIERPAOLO ; FERRARI, GIAN LUIGI.
Mathematical Structures in Computer Science. 25 (2014) 3 - p. 710-763 , 2014

Link: https://doi.org/10.1017/..

2

A formal framework for secure and complying services:

Basile, Davide ; Degano, Pierpaolo ; Ferrari, Gian -Luigi
The Journal of Supercomputing. 69 (2014) 1 - p. 43-52 , 2014

Link: https://doi.org/10.1007/..

3

Global Coordination Policies for Services:

Ciancia, Vincenzo ; Ferrari, Gian Luigi ; Guanciale, Roberto.
Electronic Notes in Theoretical Computer Science. 260 (2010) - p. 73-89 , 2010

Link: https://doi.org/10.1016/..

4

Hard Life with Weak Binders:

Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi.
Electronic Notes in Theoretical Computer Science. 242 (2009) 1 - p. 49-72 , 2009

Link: https://doi.org/10.1016/..

5

Co-Algebraic Models for Quantitative Spatial Logics:

Ciancia, Vincenzo ; Ferrari, Gian Luigi
Electronic Notes in Theoretical Computer Science. 190 (2007) 3 - p. 43-58 , 2007

Link: https://doi.org/10.1016/..

6

Policy framings for access control:

, In: Proceedings of the 2005 workshop on Issues in the theory of security,

Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi - p. 5-11 , 2005

Link: https://dl.acm.org/doi/1..

7

Program Transformations under Dynamic Security Policies:

Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi
Electronic Notes in Theoretical Computer Science. 99 (2004) - p. 49-86 , 2004

Link: https://doi.org/10.1016/..

8

Stack inspection and secure program transformations:

Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi
International Journal of Information Security. 2 (2004) 3-4 - p. 187-217 , 2004

Link: https://doi.org/10.1007/..

9

Implicative formulae in the proofs of computations' analogy:

, In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Asperti, Andrea ; Ferrari, Gian Luigi ; Gorrieri, Roberto - p. 59-71 , 1989

Link: https://dl.acm.org/doi/1..

10

Secure FaaS orchestration in the fog: how far are we?:

Antonio Brogi ; Gian Luigi Ferrari ; Alessandro Bocci.
url:https://www.openaccessrepository.it/communities/itmirror. , 2021

Link: https://www.openaccessre..

11

Predicting global usages of resources endowed with local po..:

Chiara Bodei ; Viet Dung Dinh ; Gian Luigi Ferrari
http://arxiv.org/pdf/1108.0231v1. , 2011

Link: https://doi.org/10.4204/..

12

Safer in the Clouds (Extended Abstract):

Chiara Bodei ; Viet Dung Dinh ; Gian Luigi Ferrari
http://arxiv.org/pdf/1010.5568v1. , 2010

Link: https://doi.org/10.4204/..

13

Middleware for Transactions and Abstract Services:

Marco Giunti ; Vasco t. Vasconcelos ; Michele Loreti.
http://hdl.handle.net/10451/14495. , 2010

Link: http://hdl.handle.net/10..

14

Safer in the Clouds:

Bodei, Chiara ; Dung, Dinh ; Gian Luigi, Ferrari
http://eprints.adm.unipi.it/2259/1/TR-10-15.pdf.gz. , 2010

Link: http://eprints.adm.unipi..

15

Programming Languages with Applications to Biology and Secu..

Essays Dedicated to Pierpaolo Degano on the Occasion of His... Lecture Notes in Computer Science ; 9465;SpringerLink, Bücher

Ferrari, Gian-Luigi ; Bodei, Chiara ; Priami, Corrado - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..