2213 search results - page 207 / 443 » Software Security |
125
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
118
click to vote
MOC
2010
14 years 10 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
139
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
126
click to vote
PEPM
2009
ACM
16 years 20 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
133
click to vote
WICSA
2004
15 years 5 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....