📚 形式化技术资料

📦 资源总数：53

💻 源代码：48

🔥 形式化热门资料

查看全部53个资源 »

针对缪祥华提出的改进的Needham-Schroeder 协议，利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性，包括响应者认证、发起者认证和协议的机密性进行分析，并运用“理想”...

👤 20125101110 ⬇️ 4 次下载

串空间模型

基于本体的共享与重用性以及谈判过程的动态性，提出谈判协议过程本体，将语义Web应用到自动谈判中，利用描述逻辑和本体编辑器Protégé 3.2.1对1-多交互协议本体进行形式化描述，并得到相应的OWL...

👤 aben ⬇️ 8 次下载

多交互协议本体

文章根据ERP 系统的特点，提出在系统设计阶段，采用形式化标记语言——Z 语言对系统框架进行精确描述，以期提高系统构建的可靠性，降低开发风险，减少维护成本。文中根据三层框架结构，分层描述了公共对象层，...

👤 ttalli ⬇️ 5 次下载

描述根据

将基于角色的访问控制模型RBAC96应用到工作流中，设计一个基于角色的安全工作流模型，给出该模型的形式化描述和图形表示。定义DcAC, EP, EPA, IP, IPA的概念，用于管理模型中的授权。与...

👤 XuVshu ⬇️ 5 次下载

角色

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在...

👤 wangshoupeng199 ⬇️ 5 次下载

NSPK

📂 形式化资料分类