Verifica formale dei protocolli di sicurezza mediante model checking. Panti, M.; Spalazzi, L.; and Tacconi, S. In SEBD, pages 167-180, 2000.
Verifica formale dei protocolli di sicurezza mediante model checking. [link]Paper  bibtex   
@inproceedings{conf/sebd/PantiST00,
  added-at = {2016-01-18T00:00:00.000+0100},
  author = {Panti, Maurizio and Spalazzi, Luca and Tacconi, Simone},
  biburl = {http://www.bibsonomy.org/bibtex/20edf524ea8d2993d59fcf1cd20187890/dblp},
  booktitle = {SEBD},
  crossref = {conf/sebd/2000},
  interhash = {ba621fc6f34fa4d9d9047de95c84863e},
  intrahash = {0edf524ea8d2993d59fcf1cd20187890},
  keywords = {dblp},
  pages = {167-180},
  timestamp = {2016-01-19T11:42:19.000+0100},
  title = {Verifica formale dei protocolli di sicurezza mediante model checking.},
  url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2000.html#PantiST00},
  year = 2000
}
Downloads: 0