FMSE '05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering, November 11, 2005, Fairfax, Virginia, USA ; colocated with CCS 2005
ACM Workshop on Formal Methods in Security Engineering
Bok Engelsk 2005
ACM Workshop on Formal Methods in Security Engineering
Bok Engelsk 2005