Author of the publication

Automated Security Test Generation with Formal Threat Models.

, , , , , and . IEEE Trans. Dependable Secur. Comput., 9 (4): 526-540 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Security Test Generation with Formal Threat Models., , , , , and . IEEE Trans. Dependable Secur. Comput., 9 (4): 526-540 (2012)Security Analysis of FileZilla Server Using Threat Models., , and . SEKE, page 678-682. Knowledge Systems Institute Graduate School, (2011)Testing access control and obligation policies., , , , , , and . ICNC, page 540-544. IEEE Computer Society, (2013)Computer viruses and malware by John Aycock.. SIGACT News, 41 (1): 44-47 (2010)Security mutation testing of the FileZilla FTP server., , and . SAC, page 1425-1430. ACM, (2011)Toward a reconceptualization of information seeking research: focus on the exchange of meaning., and . Inf. Process. Manag., 35 (6): 871-890 (1999)Exploring Web users' optimal flow experiences., , and . Inf. Technol. People, 13 (4): 263-281 (2000)Structuring Virtuality., and . Virtuality and Virtualization, volume 236 of IFIP, page 53-66. Springer, (2007)Genre based Navigation on the Web., , , , , and . HICSS, IEEE Computer Society, (2001)Organisations as virtual communities: a sense-making approach for uniting knowledge consumers and knowledge workers., and . Int. J. Web Based Communities, 1 (3): 262-271 (2005)