形式化需求相关硕士博士期刊学术论文 - 搜论网

形式化需求相关论文

安全协议的形式化需求及验证

该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求，并在AT模型的基础上加入信任和知识的非单调逻辑，建立了安......

期刊

安全协议形式化需求验证 BAN逻辑定理证明密码协议通信协议 BAN logic model checker NRL FDR SMV theorem p

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础，传统的软件需求建模方法主要有2个重大的缺陷：一是非形式化的需求描述常导致需求的歧义性和不......

期刊

需求获取 UML 用例驱动 B方法形式化需求

看过本文同时还关注