电子证据与反拒认协议及形式化分析
【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP，解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则，并用信...
形式化方法技术资料
📦 资源总数：10000
💻 源代码：10000
🔥 形式化方法热门资料
查看全部10000个资源 »方法 方法 方法 方法 方法 方法
方法 方法 方法 方法 方法 方法...
放放风放放风方法放放风方法放放风方法放放风方法放放风方法放放风方法看看
放放风放放风方法放放风方法放放风方法放放风方法放放风方法放放风方法看看...
计算方法中的方法
计算方法中的方法...
uCOS开发方法 uCOS开发方法
uCOS开发方法 uCOS开发方法...
💻 形式化方法源代码
查看更多 »📂 形式化方法资料分类