2236 search results - page 296 / 448 » Secure Software Design in Practice |
CTRSA
2006
Springer
15 years 1 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
ETRICS
2006
15 years 1 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
133
click to vote
OOPSLA
2000
Springer
15 years 1 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
ASAP
2010
IEEE
14 years 11 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
DBSEC
2007
14 years 11 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...