Computer security from a programming language and static analysis
In ESOP 2003: Programming Languages and Systems, 12th European
Symposium on Programming, number 2618 in LNCS, pages 1--9, Warsaw, Poland,
A short survey on language-base computer security. Extended abstract of invited lecture.
[ bib |
Local copy |
At publisher's site ]
This file was generated by