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

• 作者: 尹向东 张新林
• 来源期刊: 湘潭大学自然科学学报
• 学科: 工学
• 关键词: 范畴 线性素描 形式模型 Web导航 一致性检查
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 机械工程与电子工程
• 页码范围: 111-116
• 分类号: TP311
• 字数: 5014字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5900.2012.02.024

摘要

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

作者信息

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