65 search results - page 1 / 13 » Modelling Security Properties in a Grid-based Operating Syst... |
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
HOST
2011
IEEE
12 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
WISA
2007
Springer
13 years 11 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
ESORICS
1994
Springer
13 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
RE
2010
Springer
12 years 11 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...