A Computationally Sound Mechanized Prover for Security Protocols (bibtex)
by Bruno Blanchet
Reference:
A Computationally Sound Mechanized Prover for Security Protocols (Bruno Blanchet), In IEEE Transactions on Dependable and Secure Computing, volume 5, 2008.
Bibtex Entry:
@Article{BlanchetTDSC07,
  author = 	 {Bruno Blanchet},
  title = 	 {A Computationally Sound Mechanized Prover for Security Protocols},
  journal = 	 {IEEE Transactions on Dependable and Secure Computing},
  year = 	 2008,
  volume = 	 5,
  number = 	 4,
  pages = 	 {193--207},
  month = 	 oct # "--" # dec,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetTDSC07.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetTDSC07.pdf}
}
Powered by bibtexbrowser