Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning
Titolo: | Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) | |
Autori: | ||
Data di pubblicazione: | 2006 | |
Rivista: | ||
Abstract: | Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning | |
Handle: | http://hdl.handle.net/11562/435199 | |
Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.