BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
Collaborated with:
R.Gorrieri F.Martinelli
Talks about:
cryptograph (1) protocol (1) languag (1) analysi (1) simpl (1) time (1) real (1)

Person: Enrico Locatelli

DBLP DBLP: Locatelli:Enrico

Contributed to:

ESOP 20032003

Wrote 1 papers:

ESOP-2003-GorrieriLM #analysis #encryption #protocol #realtime
A Simple Language for Real-Time Cryptographic Protocol Analysis (RG, EL, FM), pp. 114–128.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.