3420 search results - page 18 / 684 » A Language-Based Approach to Security |
ACSAC
1998
IEEE
14 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...
INFOCOM
2008
IEEE
14 years 3 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
14 years 29 days 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
14 years 2 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...
TAPSOFT
1997
Springer
14 years 27 days 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...