How to Prevent Type Flaw Attacks on Security Protocols

James Heather, Gavin Lowe, Steve Schneider. How to Prevent Type Flaw Attacks on Security Protocols. In CSFW. pages 255-268, 2000. [doi]

@inproceedings{HeatherLS00,
  title = {How to Prevent Type Flaw Attacks on Security Protocols},
  author = {James Heather and Gavin Lowe and Steve Schneider},
  year = {2000},
  url = {http://www.computer.org/proceedings/csfw/0671/06710255abs.htm},
  tags = {protocol, security},
  researchr = {https://researchr.org/publication/HeatherLS00},
  cites = {0},
  citedby = {0},
  pages = {255-268},
  booktitle = {CSFW},
}