<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/gc/BuchholtzMPS04" mdate="2005-02-21">
<author>Mikael Buchholtz</author>
<author>Carlo Montangero</author>
<author>Lara Perrone</author>
<author>Simone Semprini</author>
<title>For-LySa: UML for Authentication Analysis.</title>
<pages>93-106</pages>
<ee>http://springerlink.metapress.com/openurl.asp?genre=article&amp;issn=0302-9743&amp;volume=3267&amp;spage=93</ee>
<year>2004</year>
<crossref>conf/gc/2004</crossref>
<booktitle>Global Computing</booktitle>
<url>db/conf/gc/gc2004.html#BuchholtzMPS04</url>
</inproceedings>
</dblp>
