Naviga IRIS

Sfoglia per Autore

Opzioni

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 20 di 83

esporta metadati
- RIS
- EndNote
- BibTeX
- Excel
- CSV
- RefWorks

Differential logic programs: Programming methodologies and semantics

1996-01-01 Bossi, Annalisa; Bugliesi, Michele; M., Gabbrielli; G., Levi; E. M. C., Meo

A subtyping for Extensible Incomplete Objects

1999-01-01 Bono, V.; Bugliesi, Michele; Liquori, L.; DEZANI CIANCAGLINI, M.

Matching for the Lambda Calculus of Objects

1999-01-01 Bono, V.; Bugliesi, Michele

Typed Mobile Objects

2000-01-01 Bugliesi, Michele; Castagna, G; Crafa, S.

Object Calculi in Linear Logic

2000-01-01 Bugliesi, Michele; Delzanno, G; Liquori, L; Martelli, M.

Boxed Ambients

2001-01-01 Bugliesi, Michele; Castagna, G; Crafa, S.

An overview of Boxed Ambients

2001-01-01 Castagna, G; Bugliesi, Michele; Silvia, Crafa

Secure Safe Ambients

2001-01-01 Bugliesi, Michele; Castagna, G.

Reasoning about Security in Mobile Ambients

2001-01-01 Bugliesi, Michele; Castagna, G; Crafa, S.

Subtyping and Matching for Mobile Objects

2001-01-01 Bugliesi, Michele; Giuseppe, Castagna; Silvia, Crafa

Typed Interpretations of Extensible Objects

2002-01-01 Bono, V.; Bugliesi, Michele; Crafa, S.

Information Flow Security for Boxed Ambients

2002-01-01 Silvia, Crafa; Bugliesi, Michele; Giuseppe, Castagna

Behavioural typing for safe ambients

2002-01-01 Castagna, G; Bugliesi, Michele

A Survey of Name-Passing Calculi and Crypto-Primitives

2002-01-01 Bugliesi, Michele; Giuseppe, Castagna; Silvia, Crafa; Focardi, Riccardo; Vladimiro, Sassone

Communication Interference in Mobile Boxed Ambient

2002-01-01 Bugliesi, Michele; Crafa, S; Merro, M; Sassone, V.

Type Inference for Variant Object Types

2002-01-01 Bugliesi, Michele; Pericas, G. S.

A Calculus of Bounded Capacities

2003-01-01 Franco, Barbanera; Bugliesi, Michele; MARIANGIOLA DEZANI, Ciancaglini; Vladimiro, Sassone

Context-Sensitive Equivalences for Non-Interference based Protocol Analysis

2003-01-01 Bugliesi, Michele; Ceccato, A; Rossi, Sabina

Principles for Entity Authentication

2003-01-01 Bugliesi, Michele; Focardi, Riccardo; Matteo, Maffei

Secrecy in Untrusted Networks

2003-01-01 Bugliesi, Michele; Crafa, S; Prelic, A; Sassone, V.

Titolo	Data di pubblicazione	Autori	Tipo	Abstract
Differential logic programs: Programming methodologies and semantics	1-gen-1996	BOSSI, AnnalisaBUGLIESI, MicheleM. GABBRIELLIG. LEVIE. M. C. MEO + -	2.1 Articolo su rivista	-
A subtyping for Extensible Incomplete Objects	1-gen-1999	BONO V.BUGLIESI, MicheleLIQUORI L.DEZANI CIANCAGLINI M. + -	2.1 Articolo su rivista	-
Matching for the Lambda Calculus of Objects	1-gen-1999	BONO V.BUGLIESI, Michele + -	2.1 Articolo su rivista	-
Typed Mobile Objects	1-gen-2000	BUGLIESI, MicheleCASTAGNA GCRAFA S. + -	4.1 Articolo in Atti di convegno	-
Object Calculi in Linear Logic	1-gen-2000	BUGLIESI, MicheleDELZANNO GLIQUORI LMARTELLI M. + -	2.1 Articolo su rivista	-
Boxed Ambients	1-gen-2001	BUGLIESI, MicheleCASTAGNA GCRAFA S. + -	4.1 Articolo in Atti di convegno	-
An overview of Boxed Ambients	1-gen-2001	CASTAGNA GBUGLIESI, MicheleSILVIA CRAFA + -	2.1 Articolo su rivista	-
Secure Safe Ambients	1-gen-2001	BUGLIESI, MicheleCASTAGNA G. + -	4.1 Articolo in Atti di convegno	-
Reasoning about Security in Mobile Ambients	1-gen-2001	BUGLIESI, MicheleCASTAGNA GCRAFA S. + -	4.1 Articolo in Atti di convegno	-
Subtyping and Matching for Mobile Objects	1-gen-2001	BUGLIESI, MicheleGIUSEPPE CASTAGNASILVIA CRAFA + -	4.1 Articolo in Atti di convegno	-
Typed Interpretations of Extensible Objects	1-gen-2002	BONO V.BUGLIESI, MicheleCRAFA S. + -	2.1 Articolo su rivista	-
Information Flow Security for Boxed Ambients	1-gen-2002	SILVIA CRAFABUGLIESI, MicheleGIUSEPPE CASTAGNA + -	2.1 Articolo su rivista	-
Behavioural typing for safe ambients	1-gen-2002	CASTAGNA GBUGLIESI, Michele + -	2.1 Articolo su rivista	-
A Survey of Name-Passing Calculi and Crypto-Primitives	1-gen-2002	BUGLIESI, MicheleGIUSEPPE CASTAGNASILVIA CRAFAFOCARDI, RiccardoVLADIMIRO SASSONE + -	3.1 Articolo su libro	-
Communication Interference in Mobile Boxed Ambient	1-gen-2002	BUGLIESI, MicheleCRAFA SMERRO MSASSONE V. + -	4.1 Articolo in Atti di convegno	-
Type Inference for Variant Object Types	1-gen-2002	BUGLIESI, MichelePERICAS G. S. + -	2.1 Articolo su rivista	-
A Calculus of Bounded Capacities	1-gen-2003	FRANCO BARBANERABUGLIESI, MicheleMARIANGIOLA DEZANI CIANCAGLINIVLADIMIRO SASSONE + -	4.1 Articolo in Atti di convegno	-
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis	1-gen-2003	BUGLIESI, MicheleCECCATO AROSSI, Sabina + -	4.1 Articolo in Atti di convegno	-
Principles for Entity Authentication	1-gen-2003	BUGLIESI, MicheleFOCARDI, RiccardoMATTEO MAFFEI + -	4.1 Articolo in Atti di convegno	-
Secrecy in Untrusted Networks	1-gen-2003	BUGLIESI, MicheleCRAFA SPRELIC ASASSONE V. + -	4.1 Articolo in Atti di convegno	-

Mostrati risultati da 1 a 20 di 83

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