2213 search results - page 56 / 443 » Software Security |
114
click to vote
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
DAGSTUHL
2006
15 years 1 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...
122
click to vote
SIGSOFT
2002
ACM
16 years 19 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...