11603 search results - page 69 / 2321 » Securing Embedded Systems |
TPHOL
2005
IEEE
14 years 2 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...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
GCC
2003
Springer
14 years 2 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...
IEEEARES
2008
IEEE
14 years 3 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...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Many embedded applications exist where decisions are made using sensitive information. A critical issue in such applications is to ensure that data is accessed only by authorized ...