@InProceedings{DomSep03,
  author =       "William Harrison and Mark Tullsen and James Hook",
  title =        "Domain Separation by Construction",
  booktitle =    "LICS03 Satellite Workshop on Foundations of Computer Security (FCS03)",
  month =        "June",
  year =         "2003",
  note = "21 pages",
  hconf = "yes",
   url_Paper = "https://harrisonwl.github.io/assets/papers/fcs03.pdf",
  abstract = "This paper advocates a novel approach to language-based security: by structuring software with monads (a form of abstract data type for effects), we are able to maintain separation of effects by construction. The thesis of this work is that well-understood properties of monads and monad transformers aid in the construction and verification of secure software. We introduce a formulation of non-interference based on monads rather than the typical trace-based formulation. Using this formulation, we prove a non-interference style property for a simple instance of our system model. Because monads may be easily and safely represented within any pure, higher-order, typed functional language, the resulting system models may be directly realized within such a language.",
}

{"_id":"LFceq4eyXvXu7iRp2","bibbaseid":"harrison-tullsen-hook-domainseparationbyconstruction-2003","downloads":0,"creationDate":"2016-07-28T19:31:33.209Z","title":"Domain Separation by Construction","author_short":["Harrison, W.","Tullsen, M.","Hook, J."],"year":2003,"bibtype":"inproceedings","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["William"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Tullsen"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Hook"],"suffixes":[]}],"title":"Domain Separation by Construction","booktitle":"LICS03 Satellite Workshop on Foundations of Computer Security (FCS03)","month":"June","year":"2003","note":"21 pages","hconf":"yes","url_paper":"https://harrisonwl.github.io/assets/papers/fcs03.pdf","abstract":"This paper advocates a novel approach to language-based security: by structuring software with monads (a form of abstract data type for effects), we are able to maintain separation of effects by construction. The thesis of this work is that well-understood properties of monads and monad transformers aid in the construction and verification of secure software. We introduce a formulation of non-interference based on monads rather than the typical trace-based formulation. Using this formulation, we prove a non-interference style property for a simple instance of our system model. Because monads may be easily and safely represented within any pure, higher-order, typed functional language, the resulting system models may be directly realized within such a language.","bibtex":"@InProceedings{DomSep03,\n author = \"William Harrison and Mark Tullsen and James Hook\",\n title = \"Domain Separation by Construction\",\n booktitle = \"LICS03 Satellite Workshop on Foundations of Computer Security (FCS03)\",\n month = \"June\",\n year = \"2003\",\n note = \"21 pages\",\n hconf = \"yes\",\n url_Paper = \"https://harrisonwl.github.io/assets/papers/fcs03.pdf\",\n abstract = \"This paper advocates a novel approach to language-based security: by structuring software with monads (a form of abstract data type for effects), we are able to maintain separation of effects by construction. The thesis of this work is that well-understood properties of monads and monad transformers aid in the construction and verification of secure software. We introduce a formulation of non-interference based on monads rather than the typical trace-based formulation. Using this formulation, we prove a non-interference style property for a simple instance of our system model. Because monads may be easily and safely represented within any pure, higher-order, typed functional language, the resulting system models may be directly realized within such a language.\",\n}\n\n\n","author_short":["Harrison, W.","Tullsen, M.","Hook, J."],"key":"DomSep03","id":"DomSep03","bibbaseid":"harrison-tullsen-hook-domainseparationbyconstruction-2003","role":"author","urls":{" paper":"https://harrisonwl.github.io/assets/papers/fcs03.pdf"},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/etc/publications.html"}},"downloads":0},"search_terms":["domain","separation","construction","harrison","tullsen","hook"],"keywords":[],"authorIDs":["iCiuqX2A39oLpzRv9"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}