5843 search results - page 77 / 1169 » Software Security in Practice |
ESSOS
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
ASPLOS
2011
ACM
13 years 19 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
IASTEDSEA
2004
13 years 10 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
CSREASAM
2006
13 years 10 months ago
2006
This paper describes the design, implementation and performance of a high-performance security system - Active Network Security Immune System (ANSIS)