This file (README-prospero-documents, version of 30 November 1993,
swa@isi.edu) describes the publicly available documents about the
Prospero Directory Service.  For comments on this file or questions
about prospero, please send electronic mail to info-prospero@ISI.EDU

These files are all available through Prospero.  If you're not running
Prospero yet, they're also available via anonymous FTP from
PROSPERO.ISI.EDU.

Some of the documents mentioned below this point in this file are
marked with the label DISTRIBUTION and are additionally available in
the doc subdirectory of the latest Beta and Alpha Prospero releases
(releases Beta.5.1 and Alpha.5.2a).  A good way to obtain the Prospero
distribution, if you're not running Prospero yet, is to anonymously
FTP to PROSPERO.ISI.EDU and get /pub/prospero/prospero.tar.Z.  If you
are already running Prospero, the lastest distribution is kept in
/releases/prospero/prospero.tar.Z.

Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-oir.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-oir.ps.Z
(POSTSCRIPT)
@ARTICLE{oir,
AUTHOR      = "Neuman, B. Clifford",
TITLE       = "Prospero: A Tool for Organizing {I}nternet Resources",
JOURNAL     = "Electronic Networking: Research, Applications and Policy",
MONTH       = "Spring",
YEAR        = 1992,
VOLUME      = 2,
NUMBER      = 1}

This is a useful first paper to read.  It gives a good overview of
Prospero and what it does.  It also describes a bit about the Virtual
System model, of which Prospero is a prototype implementation.  It
describes what Prospero does, not how it does it.

Prospero: /papers/subjects/computers/operating-systems/prospero/papers/prospero-ITR-Neuman-interview.au
Anonymous FTP: /pub/papers/prospero/prospero-ITR-Neuman-interview.au

This is an audio transcript of an November 17, 1993 interview on the
Internet Talk Radio "Geek of the Week" program.  The description:

       Carl Malamud interviews Clifford Neuman, instrumental in the
  development of Internet protocols such as Kerberos and Prospero.
  Neuman discusses what Prospero is and how this miracle system can
  be anything you want it to be.  Neuman also discusses his work
  in security and how that relates to his recent interests in resource
  discovery.


It is 30 minutes long and is a good thing to listen to for the
philosophy behind the Prospero virtual system model.

overview of how Prospero does what it does.

Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-bii.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-bii.ps.Z
(POSTSCRIPT)
   @INPROCEEDINGS{prosperobii,
   AUTHOR      = "Neuman, B. Clifford and Augart, Steven Seger",
   TITLE       = "Prospero: A Base for Building Information Infrastructure",
   BOOKTITLE   = "Proceedings of INET'93",
   YEAR        = 1993,
   MONTH       = "August"}

This paper describes how Prospero can be used to integrate internet
information services, including Gopher, WAIS, Archie, and World Wide
Web.  It is another good first paper to read about Prospero.  The paper will 
be presented at INET'93 in August. 

Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-gfsvsm.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-gfsvsm.ps.Z
(POSTSCRIPT)
   @ARTICLE{gfsvsm,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {P}rospero {F}ile {S}ystem: A Global File System
                  based on the {V}irtual {S}ystem {M}odel", 
   JOURNAL     = "Computing Systems",
   VOLUME      = 5,
   NUMBER      = 4,
   YEAR        = 1992,
   MONTH       = "Fall"}

This is a good second paper to read about Prospero.  This one is
targeted more toward system implementors.  It provides more
implementation details than the paper on organizing Internet
resources, but less of the vision of how Prospero can be used together
with other systems.  Note: the online copy is the paper presented at
the Workshop on File System.  A slightly revised version of the paper
which subsequently appeared in Computing Systems and Computing Systems is
the preferred citation.

Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-smlic.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-smlic.ps.Z
(POSTSCRIPT)
   @INPROCEEDINGS{prosperosmlic,
   AUTHOR      = "Neuman, B. Clifford and Augart, Steven Seger and
                  Upasani, Shantaprasad",
   TITLE       = "Using Prospero to Support Integrated
                  Location-Independent Computing", 
   BOOKTITLE   = "Proceedings of the Usenix Symposium on Mobile and
                  Location-Independent Computing",
   YEAR        = 1993,
   MONTH       = "August",
   PAGES       = "29--34"}

This paper describes how the Prospero Directory Service can be used to
solve the server selection problem and the user location problem.  The
paper was presented in August, 1993, at the Usenix Symposium on Mobile
and Location-Independent Computing.

Prospero: /papers/subjects/computers/operating-systems/prospero/UW-CS-89-01-07.PS.Z
Anonymous FTP: /pub/papers/prospero/UW-CS-89-01-07.PS.Z
(POSTSCRIPT)
   @TECHREPORT{vsmldos,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel for Large Distributed
                  Operating Systems",
   INSTITUTION = "Department of Computer Science, University of Washington",
   YEAR        = 1989,
   MONTH       = "April",
   NUMBER      = "89-01-07"}

This describes the initial vision for the Virtual System Model, the
model on which Prospero is based.  Much of the material in this paper
appears in greater detail in other papers.

Prospero: /papers/subjects/computers/operating-systems/prospero/UW-CSE-90-05-01.PS.Z
Anonymous FTP: /pub/papers/prospero/UW-CSE-90-05-01.PS.Z
(POSTSCRIPT)
   @TECHREPORT{vsmtp,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel: A Scalable Approach to
                  Organizing Large Systems (A Thesis Proposal)",
   INSTITUTION = "Department of Computer Science and Engineering, 
                  University of Washington",
   YEAR        = 1990,
   MONTH       = "May",
   NUMBER      = "90-05-01"}

For a long time this was the best description of Prospero, but all the
information in this document appears in more recent papers and the
dissertation itself.
        
Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-closure.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-closure.ps.Z
(POSTSCRIPT)
   @ARTICLE{nfclosure,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The Need for Closure in Large Distributed Systems",
   JOURNAL     = "Operating Systems Review",
   MONTH       = "October",
   YEAR        = 1989,
   VOLUME      = 23,
   NUMBER      = 4,
   PAGES       = "28--30"}

This paper describes the reasons that operating systems need to
support closure, that is they need to make it clear which name space
is to be used when resolving names.  While closure is one of the
important features of Prospero, the concept should be applied in other
operating systems too.

Prospero: /papers/subjects/computers/operating-systems/prospero/prospero-wsvsm.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-wsvsm.ps.Z
(POSTSCRIPT)
@INPROCEEDINGS{wsvsm,
AUTHOR      = "Neuman, B. Clifford",
TITLE       = "Workstations and the {V}irtual {S}ystem {M}odel",
BOOKTITLE   = "Proceedings of the 2nd IEEE Workshop on 
               Workstation Operating Systems",
YEAR        = 1989,
MONTH       = "September",
PAGES       = "91--95",
NOTE        = "Also appears in the {\it Newsletter of the IEEE Technical 
               Committee on Operating Systems}, Volume 3, Number 3,
               Fall 1989.  Available as University of Washington Department
               of Computer Science and Engineering Technical Report
               89-10-10"} 

Describes the role of the workstation in a system based on the Virtual
System Model.  Also provides an early description of Prospero.
     
Prospero:
    /papers/subjects/computers/operating-systems/prospero/prospero-neuman-thesis.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-neuman-thesis.ps.Z
(POSTSCRIPT)
   @PHDTHESIS{phdneuman,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel: A Scalable Approach to
                  Organizing Large Systems",
   SCHOOL      = "University of Washington",
   MONTH       = "June",
   YEAR        = 1992,
   NOTE        = "Department of Computer Science and Engineering
                  Technical Report 92-06-04"} 

This is Clifford Neuman's Ph.D. Dissertation.  It is currently the
definitive work on Prospero and the Virtual System Model.  The
prospero manuals that form its appendices have been superseded by
those described below.

Prospero:
   /papers/subjects/computers/operating-systems/prospero/doc/prospero-protocol-v5.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-protocol-v5.PS.Z
DISTRIBUTION: protocol.PS, protocol.tex
(POSTSCRIPT or LaTeX)
        This is a description of version 5 of the Prospero protocol
and of the Reliable Delivery Protocol that we use.  It includes lots
of information that was elided in the version 1 protocol
specification.  It also has a lot of information in it about how the
system works.  The LaTeX source is available as
prospero-protocol-v5.tex.Z.

Prospero: /papers/subjects/computers/operating-systems/prospero/doc/prospero-protocol-v1.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-protocol-v1.PS.Z
(POSTSCRIPT)
        This is a description of version 1 of the Prospero protocol.
(It's identical to appendices D and E of B. Clifford Neuman's Ph.D.
Dissertation.)  It is now obsoleted by version 5 protocol.  However,
we are still making it available since a number of older servers are running
version 1 protocol, and since most of the current ARCHIE clients use the
older Version 1 protocol.

Prospero: 
   /papers/subjects/computers/operating-systems/prospero/doc/prospero-user-manual.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-user-manual.PS.Z
DISTRIBUTION: manual.PS, manual.tex
(POSTSCRIPT or LaTeX)
	This is the Prospero User's manual.  It is slightly out of
date, and we'll be revising it shortly.  Latex source in the
corresponding .tex file. 

Prospero: 
   /papers/subjects/computers/operating-systems/prospero/doc/prospero-library.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-library.PS.Z
DISTRIBUTION: library.PS, library.tex
(POSTSCRIPT, LaTeX)
        Prospero library manual.  Somewhat sketchy and not
comprehensive, but far better than nothing.  This is mainly useful for
applications writers.  This is slowly being updated.  Latex source in
the corresponding .tex file.


Prospero: /papers/subjects/computers/security/issues.ps.Z
Anonymous FTP: /pub/papers/psfos.ps.Z
(POSTSCRIPT)
   @INPROCEEDINGS{psfos,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "Protection and Security Issues for Future Systems",
   BOOKTITLE   = "Proceedings of the Workshop on Operating Systems of the
                  90s and Beyond",
   PUBLISHER   = "Springer-Verlag",
   YEAR        = 1991,
   MONTH       = "July",
   PAGES       = "184--201",
   NOTE        = "Lecture Notes in Computer Science #563",}
Not Prospero-specific.  Describes some of the security issues which
underlay the development of Prospero's (optional) access control system.

Prospero: /papers/subjects/computers/distributed-systems/scale.ps.Z
Anonymous FTP: /pub/papers/scale.ps.Z
(POSTSCRIPT)
   @INCOLLECTION{sds,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "Scale in Distributed Systems",
   BOOKTITLE   = "Readings in Distributed Computing Systems",
   PUBLISHER   = "IEEE Computer Society Press",
   YEAR        = 1992}
This is not really Prospero-specific, but it addresses general issues
of scale in distributed systems.  It discusses Prospero among other
systems, and mentions a number of the issues that are driving the
development of Prospero. 

Prospero: /papers/subjects/computers/operating-systems/prospero/README-prospero-documents
Anonymous FTP: /pub/papers/prospero/README-prospero-documents
(ASCII)
        This file.


Virtual-System-Name: #/INET/EDU/ISI/swa