On the security of public key protocols Export

@article{citeulike:1662901, abstract = {Recently the use of public key encryption to provide secure network communication has received considerable attention. Such public key systems are usually effective against passive eavesdroppers, who merely tap the lines and try to decipher the message. It has been pointed out, however, that an improperly designed protocol could be vulnerable to an active saboteur, one who may impersonate another user or alter the message being transmitted. Several models are formulated in which the security of protocols can be discussed precisely. Algorithms and characterizations that can be used to determine protocol security in these models are given.}, author = {Dolev, D. and Yao, A.}, booktitle = {Information Theory, IEEE Transactions on}, citeulike-article-id = {1662901}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1056650}, journal = {Information Theory, IEEE Transactions on}, keywords = {attack, security}, number = {2}, pages = {198--208}, posted-at = {2007-10-31 03:51:30}, priority = {2}, title = {On the security of public key protocols}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1056650}, volume = {29}, year = {1983} }

TY - JOUR ID - citeulike:1662901 L3 - citeulike-article-id:1662901 N2 - Recently the use of public key encryption to provide secure network communication has received considerable attention. Such public key systems are usually effective against passive eavesdroppers, who merely tap the lines and try to decipher the message. It has been pointed out, however, that an improperly designed protocol could be vulnerable to an active saboteur, one who may impersonate another user or alter the message being transmitted. Several models are formulated in which the security of protocols can be discussed precisely. Algorithms and characterizations that can be used to determine protocol security in these models are given. IS - 2 JF - Information Theory, IEEE Transactions on EP - 208 TI - On the security of public key protocols VL - 29 T2 - Information Theory, IEEE Transactions on SP - 198 KW - attack KW - security AU - Dolev, D AU - Yao, A PY - 1983/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1056650 ER -