@book{157782,
	author = {Dimitrakos, Theo. and IFIP World Computer Congress},
	title = {Formal aspects in security and trust :},
	publisher = {Springer},
	year = {2005.},
	address = {New York :}
}