000			00604nam a2200193Ia 4500
919			_a191243
020			_a9783540752271
082			_a005.8 _b(e-book)
100			_aInternational Workshop _b2006) _bHamilton _dFAST (4
245			_aFormal Aspects in Security and Trust [electronic resource] _bProceedings _cby Theo Dimitrakos and et al
260			_aBerlin _bSpringer _c2007
500			_ahttp://dx.doi.org/10.1007/978-3-540-75227-1
690			_aManagement of Computing and Information Systems; Information storage and retrieval systems; Data encryption (Computer science)
700			_aMartinelli, Fabio
700			_aRyan, Peter Y A
700			_aSchneider, Steve
999			_c178633 _d178633