Alves-FossL91'

BibTeX

@inproceedings{DBLP:conf/sp/Alves-FossL91,
  author    = {Jim Alves-Foss and
               Karl N. Levitt},
  title     = {Verification of Secure Distributed Systems in Higher Order
               Logic: A Modular Approach Using Generic Components},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {1991},
  pages     = {122-135},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}