122
click to vote
ESOP
2010
Springer
16 years 22 days ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...