See this document in CiteSeerX!

Open and Survivable Embedded Systems  (Make Corrections)  
Angelos D. Keromytis Stephen A. Edwards Vassilis Prevelakis Michael W. Hicks



  Home/Search   Context   Related

 
View or download:
upenn.edu/~mwh/pap...ses_position.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  upenn.edu/~mwh/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Technology trends in recent years have resulted in the rapid and wide-scale deployment of embedded systems as critical components of larger systems such as home appliances, airplanes, ships, and motor-vehicles. Furthermore, traditional desktops and workstations themselves are becoming a federation of embedded systems such as external storage devices connected with USB and FireWire buses. Such ubiquity of embedded systems increases the impact of random and maliciously-induced failures and the... (Update)

Active bibliography (related documents):   More   All
0.6:   Dynamic Software Updating - Hicks (2001)   (Correct)
0.4:   High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov   (Correct)
0.3:   A Survey of Active Network Research - David Tennenhouse Massachusetts (1997)   (Correct)

Similar documents based on text:   More   All
0.3:   Designing an Embedded Firewall/VPN Gateway - Vassilis Prevelakis And   (Correct)
0.3:   The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar.. (1998)   (Correct)
0.3:   Scalable Resource Control in Active Networks - Anagnostakis, Hicks.. (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ stephen-open,
  author = "Angelos Keromytis Stephen",
  title = "Open and Survivable Embedded Systems",
  url = "citeseer.ist.psu.edu/627536.html" }
Citations (may not include all citations):
746   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
566   Proof-carrying code - Necula - 1997
188   Region-based memory management - Tofte, Talpin - 1997
152   A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
139   Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
121   A core calculus of dependency - Abadi, Banerjee et al. - 1999
102   The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
88   Cyclone: A Safe Dialect of C - Jim, Morrisett et al. - 2002
79   ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
60   A survey of process migration mechanisms (context) - Smith - 1988
58   Memory management with explicit regions - Gay, Aiken - 1998
50   A certifying compiler for Java - Colby, Lee et al. - 2000
45   Dynamic software updating - Hicks, Moore et al. - 2001
38   SafeTSA: A type safe and referentially secure mobile-code re.. - Amme, Dalton et al. - 2001
35   Certifying compilation and run-time code generation - Hornof, Jim - 1999
21   Type-based hot swapping of running modules - Duggan - 2001
19   Untrusted Hosts and Confidentiality: Secure Program Partitio.. - Zdancewic, Zheng et al. - 2001
18   An overview of checkpointing in uniprocessor and distributed.. - Plank - 1997
18   Safe and flexible dynamic linking of native code - Hicks, Weirich et al. - 2000
9   Portable checkpointing for heterogenous architectures (context) - Ramkumar, Strumpen - 1997
7   Scalable certification for Typed Assembly Language - Grossman, Morrisett - 2000
4   Computer Science Department (context) - Hofmeister, PhD - 1993
4   Secure information flow using security groups (context) - Foley - 1990
3   Efficient and language-independent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996
3   or enhanced extensibility required (context) - Hicks, Nettles et al. - 1942
1   com researchforestUK (context) - Workshop, Persistence et al. - 1996
1   Wrox Press (context) - Conard, Glynn et al. - 2001

Documents on the same site (http://www.cis.upenn.edu/~mwh/papers.html):   More
General-Purpose Persistence Using Flash Memory - Moore, Hicks, Nettles (1997)   (Correct)
Experiences with Capsule-based Active Networking - Hicks, Moore, Nettles.. (2002)   (Correct)
Active Networking Means Evolution (or Enhanced Extensibility.. - Hicks, Nettles (2000)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC