Search Sciweavers | Sciweavers

11603 search results - page 351 / 2321

» Embedded System Security

222

click to vote

SDL
2007

192views Hardware» more SDL 2007»

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling

15 years 8 months ago

Download www.openlicensesociety.org

Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...

Eric Verhulst, Gjalt G. de Jong

claim paper

Read More »

176

click to vote

ACSAC
2003
IEEE

93views Security Privacy» more ACSAC 2003»

PSOS Revisited

15 years 12 months ago

Download www.acsac.org

This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally speciﬁed tagged-capability hierarchical system architecture...

Peter G. Neumann, Richard J. Feiertag

claim paper

Read More »

198

click to vote

WOA
2001

96views Intelligent Agents» more WOA 2001»

Multi-User and Security Support for Multi-Agent Systems

15 years 8 months ago

Download jade.tilab.com

This paper discusses the requirements an agent system needs to be secure. In particular, the paper introduces a classification of modern distributed systems, and examines the dele...

Agostino Poggi, Giovanni Rimassa, Michele Tomaiuol...

claim paper

Read More »

137

click to vote

LCTRTS
2009
Springer

101views System Software» more LCTRTS 2009»

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice

16 years 1 months ago