Abstract | ||
---|---|---|
We have developed SBUML (Scrapbook for UML), an extension of UML (User-Mode Linux), by adding checkpointing functionality to UML. In this paper, we first describe the design and implementation of SBUML, and then propose a new snapshot programming environment, which is realized by the SBUML programming interfaces. The intended applications of SBUML include intrusion detection and sandboxing for network security, and software model checking for verifying multi-threaded programs. In particular, using snapshot programming, one can enumerate state spaces of programs actually running under Linux. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-37621-7_15 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
state space,intrusion detection,network security | Sandbox (computer security),Address space,Model checking,Unified Modeling Language,Computer science,Network security,Shell script,Intrusion detection system,Snapshot (computer storage),Operating system | Conference |
Volume | ISSN | Citations |
3233 | 0302-9743 | 6 |
PageRank | References | Authors |
0.73 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Osamu Sato | 1 | 6 | 0.73 |
Richard Potter | 2 | 6 | 0.73 |
Mitsuharu Yamamoto | 3 | 91 | 11.09 |
Masami Hagiya | 4 | 649 | 102.85 |