Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

70

Voted

TISSEC
2002

favoriteEmaildiscussreport

67views more TISSEC 2002»

Remus: a security-enhanced operating system

15 years 1 days ago

Remus: a security-enhanced operating system

Download www.dsi.uniroma1.it

Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Ma

Real-time Traffic

TISSEC 2002 |

claim paper

Related Content

» Assessing Obstacle Location Accuracy in the Remus Unmanned Underwater Vehicle

» Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems

» Monterey Security Enhanced Architecture Project

» SecondSite disaster tolerance as a service

» Integrating Flexible Support for Security Policies into the Linux Operating System

» UserLevel Infrastructure for System Call Interposition A Platform for Intrusion Detection ...

» A Visual Environment for Characterization of State Changes in Computer Systems

» TamperTolerant Software Modeling and Implementation

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TISSEC
Authors	Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini

Comments (0)