Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage (bibtex)

by Bruno Blanchet and Avik Chaudhuri

Reference:

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage (Bruno Blanchet and Avik Chaudhuri), In IEEE Symposium on Security and Privacy, IEEE, 2008.

Bibtex Entry:

@InProceedings{BlanchetChaudhuriOakland08,
  author = 	 {Bruno Blanchet and Avik Chaudhuri},
  title = 	 {Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage},
  booktitle = {IEEE Symposium on Security and Privacy},
  pages = 	 {417--431},
  year = 	 2008,
  address = 	 {Oakland, CA},
  month = 	 may,
  publisher = {IEEE},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetChaudhuriOakland08.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetChaudhuriOakland08.pdf}
}