11603 search results - page 93 / 2321 » Embedded System Security |
147
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...
125
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
165
click to vote
WISES
2003
15 years 6 months ago
2003
— Steadily growing microcontroller capabilities at an ever decreasing cost per operation encourage the development of more extensive and smarter applications in the domain of emb...
145
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
128
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...