3516 search results - page 174 / 704 » Integrating Security Modeling into Embedded System Design |
119
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
138
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
In most file systems, if a file is deleted, only the metadata of the file is deleted or modified and the file's data is still stored on the physical media. Some users require...
160
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
135
Voted
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
130
click to vote
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...