The Institute for Security, Technology, and Society
presents
Towards a formal theory of computer insecurity:
a language-theoretic approach
Presented by:
Len Sassaman, Katholieke Universiteit Leuven
Meredith L. Patterson, Independent researcher
Thursday, February 17, 2011
Moore Hall, Dartmouth College
language
1298914665
2011-02-28 17:37:45
1:12:17
UCmzAvLjPYUfY0ELVz-TOPbw
Dartmouth
22
0
source
Towards a formal theory of computer insecurity: a language-theoretic approach
