IIT Home Page CNR Home Page

A simple framework for real-time cryptographic protocol analysis with compositional proof rules

SCIENCE OF COMPUTER PROGRAMMING (04137J0), 2004

Autori: R. Gorrieri, F. Martinelli
Autori IIT:

Tipo: Articoli su riviste ISI
Area di disciplina: Information Technology and Communication Systems
Da pagina 23 a pagina 49