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 × Latvia
1 × Poland
Collaborated with:
L.Durante R.Sisto I.C.Bertolotti
Talks about:
protocol (2) cryptograph (1) represent (1) strategi (1) knowledg (1) analysi (1) specif (1) serco (1) field (1) loto (1)

Person: Adriano Valenzano

DBLP DBLP: Valenzano:Adriano

Contributed to:

TACAS 20032003
SEKE 19941994

Wrote 2 papers:

TACAS-2003-BDSV #analysis #encryption #information management #protocol #representation
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (ICB, LD, RS, AV), pp. 284–298.
SEKE-1994-DuranteSV #protocol #specification
A LOTOS specification of the SERCOS field-bus protocol (LD, RS, AV), pp. 139–147.

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.