VOOZH about

URL: https://iris.unive.it/handle/10278/6021

⇱ A Security Property for Processes in Dynamic Contexts


Attenzione: i dati modificati non sono ancora stati salvati. Per confermare inserimenti o cancellazioni di voci è necessario confermare con il tasto SALVA/INSERISCI in fondo alla pagina

A Security Property for Processes in Dynamic Contexts

FOCARDI, Riccardo;ROSSI, Sabina
2002

2002
ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS02
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10278/6021
social impact