Sciweavers

Share
SP
2002
IEEE
161views Security Privacy» more  SP 2002»
9 years 9 months ago
Improving Computer Security Using Extended Static Checking
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
Brian Chess
books