3420 search results - page 18 / 684 » A Language-Based Approach to Security |
ACSAC
1998
IEEE
15 years 1 months ago
1998
IEEE
1 Assurance has been defined as "the degree of confidence that security needs are satisfied"[2]. The problem with this definition is that, unless one has a way to specify...
91
Voted
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...
SP
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
COMPSAC
2006
IEEE
15 years 3 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...
69
Voted
TAPSOFT
1997
Springer
15 years 1 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...