J. Burns and C.J. Mitchell. A Security Scheme for Resource Shoring Over a Network. Computers and Security, 9:67--76, February 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....properties of cryptographic protocols as well as locate security flaws. The NRL Protocol Analyzer has been successful in doing both. In particular, it has been used to find previously unknown flaws in the Simmons Selective Broadcast Protocol [14] and the Burns Mitchell Resource Sharing Protocol [2], and some hidden assumptions in the Neuman Stubblebine reauthentication protocol [13] and the Aziz Diffie wireless communication protocol [1] The results of these analyses are contained in [10, 11, 16, 12] The NRL Protocol Analyzer has also been able to reproduce previously known attacks, ....

J. Burns and C.J. Mitchell. A Security Scheme for Resource Shoring Over a Network. Computers and Security, 9:67--76, February 1990.

....Burrows, Abadi, and Needham, in their logic of authentication, make the assumption that the parties trying to authenticate each other are honest and will follow the rules of the protocol. 1 For other protocols, this may not necessarily be the case. In the Burns Mitchell resource sharing protocol [BM90], it is assumed that the party attempting to obtain the resource may be trying to cheat the resource supplier into giving him a resource that he has not paid for at the same time he is trying to guarantee the the resource supplier is not cheating him. In a voting protocol, we make the assumption ....

....key exchange. Interestingly, the reason we cannot cover all of the above with a general complete set of requirements is only because the session key is not produced from a single source in Diffie Hellman schemes. We have also begun to specify requirements for resource sharing of the kind found in [BM90]. We expect to find still more applications for our language and technique in the future. 4 Acknowledgement We would like the thank Jim Gray, Yacov Yacobi, and the anonymous referees for their careful and insightful comments. ....

J. Burns and C.J. Mitchell. A Security Scheme for Resource Shoring Over a Network. Computers and Security, 9:67--76, February 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC