BibTeX records: Alan B. Shaffer

• > Home > Persons > Alan B. Shaffer

@inproceedings{DBLP:conf/models/ShafferAIL08,
  author       = {Alan B. Shaffer and
                  Mikhail Auguston and
                  Cynthia E. Irvine and
                  Timothy E. Levin},
  editor       = {Jon Whittle and
                  Jan J{\"{u}}rjens and
                  Bashar Nuseibeh and
                  Glen Dobson},
  title        = {A Security Domain Model for Implementing Trusted Subject Behaviors},
  booktitle    = {Proceedings of the Workshop on Modeling Security {(} {MODSEC08} {)}
                  held as part of the 2008 International Conference on Model Driven
                  Engineering Languages and Systems {(} {MODELS} {)} Toulouse, France,
                  September 28, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {413},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-413/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ShafferAIL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ShafferAIL08,
  author       = {Alan B. Shaffer and
                  Mikhail Auguston and
                  Cynthia E. Irvine and
                  Timothy E. Levin},
  editor       = {{\'{U}}lfar Erlingsson and
                  Marco Pistoia},
  title        = {A security domain model to assess software for exploitable covert
                  channels},
  booktitle    = {Proceedings of the 2008 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2008, Tucson, AZ, USA, June 8, 2008},
  pages        = {45--56},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375696.1375703},
  doi          = {10.1145/1375696.1375703},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ShafferAIL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/Shaffer08,
  author       = {Alan B. Shaffer},
  title        = {A Security Domain Model for Static Analysis and Verification of Software
                  Programs},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {673--678},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Shaffer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}