| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-19页 |
| ·研究背景 | 第9-10页 |
| ·研究内容与研究意义 | 第10-12页 |
| ·研究内容 | 第10-12页 |
| ·研究意义 | 第12页 |
| ·国内外相关研究工作 | 第12-16页 |
| ·论文结构与章节安排 | 第16-19页 |
| 第2章 面向普适计算的主动访问控制模型 | 第19-35页 |
| ·ECA规则的知识模型和运行模型 | 第19-23页 |
| ·ECA规则的知识模型 | 第19-22页 |
| ·ECA规则的运行模型 | 第22-23页 |
| ·面向普适计算的主动访问控制模型 | 第23-31页 |
| ·AAC模型的构成要素 | 第23-26页 |
| ·主动访问控制规则模式 | 第26-28页 |
| ·AAC模型的系统体系结构 | 第28-30页 |
| ·AAC模型的推理执行过程 | 第30-31页 |
| ·应用举例 | 第31-33页 |
| ·本章小结 | 第33-35页 |
| 第3章 主动访问控制规则集的Petri网表示及终止性分析 | 第35-55页 |
| ·引言 | 第35-36页 |
| ·ECA规则集的相关研究 | 第36-38页 |
| ·主动访问控制规则集的EPN网表示 | 第38-48页 |
| ·主动访问控制规则集的终止性分析 | 第48-53页 |
| ·本章小结 | 第53-55页 |
| 第4章 面向普适计算的模糊主动访问控制模型 | 第55-71页 |
| ·模糊ECA规则集 | 第55-59页 |
| ·模糊ECA规则的知识模型 | 第55-58页 |
| ·模糊ECA规则的执行模型 | 第58-59页 |
| ·而向普适计算的模糊主动访问控制模型 | 第59-66页 |
| ·FAAC模型的构成要素 | 第60-61页 |
| ·FAAC模型的模糊主动访问控制规则模式 | 第61-62页 |
| ·FAAC模型的系统体系结构 | 第62-64页 |
| ·FAAC模型的推理执行过程 | 第64-66页 |
| ·应用举例 | 第66-70页 |
| ·本章小结 | 第70-71页 |
| 第5章 模糊主动访问控制规则集的Petri网表示及终止性分析 | 第71-93页 |
| ·模糊主动访问控制规则集的FCTPN网表示 | 第71-85页 |
| ·FCTPN网模型 | 第71-84页 |
| ·模糊主动访问控制规则集的FCTPN网转化算法 | 第84-85页 |
| ·模糊主动访问控制规则集的终止性分析 | 第85-92页 |
| ·基于FCTPN网的规则集可终止性分析 | 第85-88页 |
| ·基于FCTPN网的可终止性判定算法 | 第88-90页 |
| ·可终止性分析实例 | 第90-92页 |
| ·本章小结 | 第92-93页 |
| 第6章 主动访问控制规则集一致性分析 | 第93-113页 |
| ·产生式系统中知识库一致性问题 | 第93-95页 |
| ·主动访问控制规则集的一致性 | 第95-107页 |
| ·主动访问控制规则集一致性定义 | 第95-99页 |
| ·主动访问控制规则集的一致性分析 | 第99-105页 |
| ·主动访问控制规则集的一致性与可终止性的关系 | 第105-107页 |
| ·模糊主动访问控制规则集的一致性 | 第107-112页 |
| ·模糊主动访问控制规则集一致性定义 | 第107-109页 |
| ·模糊主动访问控制规则集的一致性分析 | 第109-111页 |
| ·模糊主动访问控制规则集的一致性与可终止性的关系 | 第111-112页 |
| ·本章小结 | 第112-113页 |
| 第7章 面向普适计算的主动访问控制原型系统设计与实现 | 第113-131页 |
| ·FAACS原型系统的设计假设及实现的功能 | 第113-114页 |
| ·FAACS原型系统的体系结构及各模块的工作流程 | 第114-116页 |
| ·FAACS原型系统的访问控制相关模块的设计与实现 | 第116-121页 |
| ·FAACS原型系统的运行及实验分析 | 第121-130页 |
| ·FAACS原型系统的运行界面及运行效率分析 | 第121-124页 |
| ·主动访问控制规则集的终止性分析实验及结果分析 | 第124-130页 |
| ·本章小结 | 第130-131页 |
| 第8章 总结与展望 | 第131-135页 |
| ·本文工作总结 | 第131-133页 |
| ·未来工作展望 | 第133-135页 |
| 参考文献 | 第135-145页 |
| 攻读学位期间的研究成果 | 第145-147页 |
| 致谢 | 第147页 |
