Web导航行为范畴模型一致性与安全性研究

• 作者: 尹向东 张新林
• 来源期刊: 湘潭大学自然科学学报
• 学科: 工学
• 关键词: 范畴 线性素描 形式模型 WEB导航 一致性检查
• 年，卷（期）: 2012,（2）
• 页码范围: 111-116
• 页数: 6页
• 分类号: TP311

摘要

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段，其中作为形式结构的素描是一种基于图的规范，是形式建模和验证的有效方法．文章给出了Web导航行为的线性素描，构建一个基于范畴理论的形式模型，这一模型符合由素描所描述的要求和规范，提出了通过建立自由范畴来检验模型一致性的方法，讨论了导航模型的安全性，并给出了～些相应的安全性规则和检查方法．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹向东	湖南科技学院计算机与通信工程系	48	192	8.0	12.0
2	张新林	湖南科技学院计算机与通信工程系	14	42	4.0	5.0