3516 search results - page 214 / 704 » Integrating Security Modeling into Embedded System Design |
145
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
114
Voted
FPLAY
2008
15 years 5 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
147
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
182
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
With current FPGAs, designers can now instantiate several embedded processors, memory units, and a wide variety of IP blocks to build a single-chip, high-performance multiprocesso...
227
click to vote
SOSP
2007
ACM
16 years 14 days ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...