53 search results - page 10 / 11 » Extended Description Techniques for Security Engineering |
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
IAAI
2003
14 years 4 days ago
2003
This paper reports some results of a long-term work in application of AI techniques whose ultimate goal is the development of tools for resource scheduling. Most of the efforts so...
CODES
2006
IEEE
14 years 22 days ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
PASTE
2010
ACM
14 years 21 days ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
MMMACNS
2005
Springer
14 years 4 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...