11603 search results - page 69 / 2321 » Embedded System Security |
133
Voted
SCOPES
2007
Springer
15 years 10 months ago
2007
Springer
118
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
139
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
This paper analyzes security problems existing in Grid Computing System and describes the security mechanism in Grid Computing System. After briefly introducing the security abstra...
125
Voted
IEEEARES
2008
IEEE
15 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...