基于串空间理论的安全协议分析-计算机软件与理论专业论文.docxVIP

郑州大学硕士学位论文Abstract 郑州大学硕士学位论文 Abstract Security protocol providing security services,to∞吼玳network’S security．In recent years，more and mole security protocol is used for protecting the Intemet transmission of transactions and the access to computer systems．Howovcr,verifying the correctness of security protocol is very diflk：IIlt．Therefore，we must rely 011 formal methods to analyse the security protoc01． Among lots of formal analysis methods，the strand space model is a combination of theorem proving and protocol trace,pushes formal analysis technology of security protocol to a new level．Strand s