Travelled to:1 × Poland
Collaborated with:L.Durante R.Sisto A.Valenzano
Talks about:cryptograph (1) represent (1) strategi (1) protocol (1) knowledg (1) analysi (1) new (1)
Person: Ivan Cibrario Bertolotti
DBLP: Bertolotti:Ivan_Cibrario
Contributed to:
2003Wrote 1 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.