83 search results - page 2 / 17 » Model-based assurance of security controls |
CODASPY
2012
13 years 6 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
110
click to vote
ECUMN
2007
Springer
15 years 4 months ago
2007
Springer
The Datagram Congestion Control Protocol (DCCP) has been proposed as a transport protocol which supports real-time traffic. In this paper, we focus on the use of DCCP/CCID3 (Cong...
103
click to vote
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...