基本信息
文件名称：网络安全协议的形式化分析 形式化安全方法-绪论.pptx
文件大小：16.3 MB
总页数：43 页
更新时间：2025-10-21
总字数：约小于1千字
文档摘要
西安电子科技大学
;相关基础课程;张广泉，《形式化方法导论》，清华大学出版社
李建华，《网络安全协议的形式化分析与验证》，机械工业出版社
吴礼发，《网络协议工程》，电子工业出版社
以及其他一些相关的论文文献;;;在通信协议中的应用;;8;符号表;任何一个标识符都是表达式；
任何一个数都是表达式；
如果e1和e2都是表达式，那么
e1+e2
e1*e2
(e1)
也都是表达式;语法分析器;;;14;语义分析器;16;17