Security Protocols: From Linear to Classical Logic by Abstract Interpretation (bibtex)
by Bruno Blanchet
Reference:
Security Protocols: From Linear to Classical Logic by Abstract Interpretation (Bruno Blanchet), In Information Processing Letters, volume 95, 2005.
Bibtex Entry:
@string{ipl="Information Processing Letters"}
@Article{BlanchetIPL05,
  author = 	 {Bruno Blanchet},
  title = 	 {Security Protocols: {F}rom Linear to Classical Logic by Abstract Interpretation},
  journal = 	 ipl,
  year = 	 2005,
  volume = 	 95,
  number = 	 5,
  pages = 	 {473--479},
  month =	 sep,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetIPL05.html}
}
Powered by bibtexbrowser