3516 search results - page 141 / 704 » Integrating Security Modeling into Embedded System Design |
111
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
128
click to vote
MOMPES
2008
IEEE
15 years 9 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
134
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
179
Voted
FOSAD
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...