BibTeX records: A. J. Herbert

download as .bib file

@inproceedings{DBLP:conf/sp/KargerH84,
  author    = {Paul A. Karger and
               A. J. Herbert},
  title     = {An Augmented Capability Architecture to Support Lattice Security and
               Traceability of Access},
  booktitle = {Proceedings of the 1984 {IEEE} Symposium on Security and Privacy,
               Oakland, California, USA, April 29 - May 2, 1984},
  pages     = {2--12},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
  url       = {https://doi.org/10.1109/SP.1984.10001},
  doi       = {10.1109/SP.1984.10001},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/KargerH84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/NeedhamHM83,
  author    = {Roger M. Needham and
               A. J. Herbert and
               James G. Mitchell},
  title     = {How to Connect Stable Memory to a Computer},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {17},
  number    = {1},
  pages     = {16},
  year      = {1983},
  url       = {https://doi.org/10.1145/850733.850736},
  doi       = {10.1145/850733.850736},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/NeedhamHM83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Herbert83,
  author    = {A. J. Herbert},
  editor    = {David Hutchison and
               John A. Mariani and
               Doug Shepherd},
  title     = {The Cambridge Distributed Computing System},
  booktitle = {Local Area Networks: An Advanced Course, Glasgow, UK, July 11-22,
               1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {184},
  pages     = {282--312},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/3-540-15191-5\_24},
  doi       = {10.1007/3-540-15191-5\_24},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/ac/Herbert83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HerbertN81,
  author    = {A. J. Herbert and
               Roger M. Needham},
  editor    = {John Howard and
               David P. Reed},
  title     = {Sequencing Computation Steps in a Network},
  booktitle = {Proceedings of the Eighth Symposium on Operating System Principles,
               {SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
               USA, December 14-16, 1981},
  pages     = {59--63},
  publisher = {{ACM}},
  year      = {1981},
  url       = {https://doi.org/10.1145/800216.806592},
  doi       = {10.1145/800216.806592},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/conf/sosp/HerbertN81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Herbert78,
  author    = {A. J. Herbert},
  title     = {A microprogrammed operating system kernel},
  school    = {University of Cambridge, {UK}},
  year      = {1978},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.458939},
  timestamp = {Mon, 10 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Herbert78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Herbert78,
  author    = {A. J. Herbert},
  title     = {A New Protection Architecture for the Cambridge Capability Computer},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {12},
  number    = {1},
  pages     = {24--28},
  year      = {1978},
  url       = {https://doi.org/10.1145/775323.775326},
  doi       = {10.1145/775323.775326},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/Herbert78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics