1
Published 2004
... : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October...
Book Electronic
2
Published 2003
... : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October...
(CARLI) (Other Sources: (UIUdb)7107852)
Book Electronic
9
Published 2007
(CARLI) (Other Sources: (UICdb)3116592)
Book Electronic
13
Published 2007
(CARLI) (Other Sources: (UICdb)3113864)
Book Electronic
16
Published 2006
(CARLI) (Other Sources: (UIUdb)7107226)
Book Electronic
17
Published 2005
(CARLI) (Other Sources: (UIUdb)7106352)
Book Electronic
20
Published 2007
... of the third Symposium on Usable Privacy and Security : Pittsburgh, PA, USA, July 18-20, 2007....
(CARLI) (Other Sources: (UIUdb)7106742)
Book Electronic