75

A semantic approach to secure information flow

Year:
2000
Language:
english
File:
PDF, 132 KB
english, 2000
83

Model driven code checking

Year:
2008
Language:
english
File:
PDF, 275 KB
english, 2008
100

Denali

Year:
2002
Language:
english
File:
PDF, 176 KB
english, 2002