Jonathan K. Millen, Harald Rueß. Protocol-Independent Secrecy. In IEEE Symposium on Security and Privacy. pages 110-209, 2000. [doi]
@inproceedings{MillenR00, title = {Protocol-Independent Secrecy}, author = {Jonathan K. Millen and Harald Rueß}, year = {2000}, url = {http://computer.org/proceedings/s 26p/0665/06650110abs.htm}, tags = {protocol}, researchr = {https://researchr.org/publication/MillenR00}, cites = {0}, citedby = {0}, pages = {110-209}, booktitle = {IEEE Symposium on Security and Privacy}, }