A High Assurance Window System Prototype. Epstein, J., McHugh, J., Orman, H. K., Pascale, R., Marmor-Squires, A. B., Danner, B. P., Martin, C., Branstad, M., Benson, J., & Rothnie, D. Journal of Computer Security, 2(2-3):159-190, 1993.
Link
Paper bibtex @article{journals/jcs/EpsteinMOPMDMBBR93,
added-at = {2016-01-20T00:00:00.000+0100},
author = {Epstein, Jeremy and McHugh, John and Orman, Hilarie K. and Pascale, Rita and Marmor-Squires, Ann B. and Danner, Bonnie P. and Martin, C. and Branstad, M. and Benson, J. and Rothnie, D.},
biburl = {http://www.bibsonomy.org/bibtex/267476e7e142fc86647204306801f2dff/dblp},
ee = {http://dx.doi.org/10.3233/JCS-1993-22-306},
interhash = {a9a9151a1b4e0ca99edb04a71f14e255},
intrahash = {67476e7e142fc86647204306801f2dff},
journal = {Journal of Computer Security},
keywords = {dblp},
number = {2-3},
pages = {159-190},
timestamp = {2016-01-21T11:35:22.000+0100},
title = {A High Assurance Window System Prototype.},
url = {http://dblp.uni-trier.de/db/journals/jcs/jcs2.html#EpsteinMOPMDMBBR93},
volume = 2,
year = 1993
}
Downloads: 0
{"_id":"SYmbsb5CD5ENTaQZG","bibbaseid":"epstein-mchugh-orman-pascale-marmorsquires-danner-martin-branstad-etal-ahighassurancewindowsystemprototype-1993","downloads":0,"creationDate":"2016-01-26T15:10:56.887Z","title":"A High Assurance Window System Prototype.","author_short":["Epstein, J.","McHugh, J.","Orman, H. K.","Pascale, R.","Marmor-Squires, A. B.","Danner, B. P.","Martin, C.","Branstad, M.","Benson, J.","Rothnie, D."],"year":1993,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/C. Manuel Carlevaro?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2016-01-20T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Epstein"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["McHugh"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Orman"],"firstnames":["Hilarie","K."],"suffixes":[]},{"propositions":[],"lastnames":["Pascale"],"firstnames":["Rita"],"suffixes":[]},{"propositions":[],"lastnames":["Marmor-Squires"],"firstnames":["Ann","B."],"suffixes":[]},{"propositions":[],"lastnames":["Danner"],"firstnames":["Bonnie","P."],"suffixes":[]},{"propositions":[],"lastnames":["Martin"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Branstad"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Benson"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Rothnie"],"firstnames":["D."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/267476e7e142fc86647204306801f2dff/dblp","ee":"http://dx.doi.org/10.3233/JCS-1993-22-306","interhash":"a9a9151a1b4e0ca99edb04a71f14e255","intrahash":"67476e7e142fc86647204306801f2dff","journal":"Journal of Computer Security","keywords":"dblp","number":"2-3","pages":"159-190","timestamp":"2016-01-21T11:35:22.000+0100","title":"A High Assurance Window System Prototype.","url":"http://dblp.uni-trier.de/db/journals/jcs/jcs2.html#EpsteinMOPMDMBBR93","volume":"2","year":"1993","bibtex":"@article{journals/jcs/EpsteinMOPMDMBBR93,\n added-at = {2016-01-20T00:00:00.000+0100},\n author = {Epstein, Jeremy and McHugh, John and Orman, Hilarie K. and Pascale, Rita and Marmor-Squires, Ann B. and Danner, Bonnie P. and Martin, C. and Branstad, M. and Benson, J. and Rothnie, D.},\n biburl = {http://www.bibsonomy.org/bibtex/267476e7e142fc86647204306801f2dff/dblp},\n ee = {http://dx.doi.org/10.3233/JCS-1993-22-306},\n interhash = {a9a9151a1b4e0ca99edb04a71f14e255},\n intrahash = {67476e7e142fc86647204306801f2dff},\n journal = {Journal of Computer Security},\n keywords = {dblp},\n number = {2-3},\n pages = {159-190},\n timestamp = {2016-01-21T11:35:22.000+0100},\n title = {A High Assurance Window System Prototype.},\n url = {http://dblp.uni-trier.de/db/journals/jcs/jcs2.html#EpsteinMOPMDMBBR93},\n volume = 2,\n year = 1993\n}\n\n","author_short":["Epstein, J.","McHugh, J.","Orman, H. K.","Pascale, R.","Marmor-Squires, A. B.","Danner, B. P.","Martin, C.","Branstad, M.","Benson, J.","Rothnie, D."],"key":"journals/jcs/EpsteinMOPMDMBBR93","id":"journals/jcs/EpsteinMOPMDMBBR93","bibbaseid":"epstein-mchugh-orman-pascale-marmorsquires-danner-martin-branstad-etal-ahighassurancewindowsystemprototype-1993","role":"author","urls":{"Link":"http://dx.doi.org/10.3233/JCS-1993-22-306","Paper":"http://dblp.uni-trier.de/db/journals/jcs/jcs2.html#EpsteinMOPMDMBBR93"},"keyword":["dblp"],"downloads":0},"search_terms":["high","assurance","window","system","prototype","epstein","mchugh","orman","pascale","marmor-squires","danner","martin","branstad","benson","rothnie"],"keywords":["dblp"],"authorIDs":[],"dataSources":["KPN3ak3bwBm6iLG2r"]}