1995
DOI: 10.1145/224057.224077
|View full text |Cite
|
Sign up to set email alerts
|

Extensibility safety and performance in the SPIN operating system

Abstract: This paper describes the motivation, architecture and performance of SPIN, an extensible operating system.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
254
0
5

Year Published

1997
1997
2007
2007

Publication Types

Select...
5
4

Relationship

0
9

Authors

Journals

citations
Cited by 208 publications
(260 citation statements)
references
References 44 publications
1
254
0
5
Order By: Relevance
“…4 Like simple MAC-based PRACs, we use sig i (m) to sign the partial result computed on server s i , and erase sig i (m) prior to migrating to server s i+1 .…”
Section: Partial Results Authentication Codesmentioning
confidence: 99%
See 1 more Smart Citation
“…4 Like simple MAC-based PRACs, we use sig i (m) to sign the partial result computed on server s i , and erase sig i (m) prior to migrating to server s i+1 .…”
Section: Partial Results Authentication Codesmentioning
confidence: 99%
“…In agent-based computing, most researchers have been concentrating on one side of the security issue: protecting the server from potentially malicious agents. Related work in downloadable executable content (Java [ 7 ], Software Fault Isolation [19], Proof-Carrying Code [16, 1 7 ], OS extension mechanisms such as packet lters [13], type safe languages [4,9], etc) all focus on this problem. The converse side of the agent security problem, however, is largely neglected and needs to be addressed: how d o w e protect agents from potentially malicious servers?…”
Section: Introductionmentioning
confidence: 99%
“…(The variables %o1 and n are not modified in the loop body.) We now have that W(0) ∧ W(1) implies W (2).…”
Section: Examplementioning
confidence: 92%
“…SPIN [2], provides a safe way to extend the kernel, by writing extensions as spindles. Compared to our approach, SPIN has several limitations.…”
Section: Related Workmentioning
confidence: 99%