论文部分内容阅读
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据．形式语言Z对经典的多级安全模型BLP模型进行了规范描述，并验证了模型的正确性，为安全模型的形式化建模提供了方法和依据．
传统BLP模型的Z规范
【摘 要】
：
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据．形式语言Z对经典的多级安全模型BLP模型进行了规范描述，并验证了模型的正确性，为安全模型的形
【机 构】
：
湖州师范学院信息工程学院
【出 处】
：
湖州师范学院学报
【发表日期】
：
2007年1期
其他文献
推动传统媒体和新兴媒体融合发展,是党中央着眼巩固宣传思想文化阵地、壮大主流思想舆论做出的重大战略部署.党的十八大以来,习近平总书记对推动传统媒体和新兴媒体融合发展
叶舒宪教授的新作《玄玉时代:五千年中国的新求证》,不但从天玄地黄二元联想的角度分析了“黄帝-玄玉”神话的逻辑结构,还以蛇纹石实物与中原“玉器时代”的关系为线索,呈现
进入现代，美国《联邦宪法》面临严峻的挑战。罗斯福“新政”期间，美国发生了一场“宪法革命”：联邦政府权力的扩张和总统权力的膨胀。此后，这一趋势得到加强并被固定化为宪政模式
大学生课外科技活动是理论和实践的有效结合．在工科大学生课外科技活动中，学校要为学生的科技实践建立培养体系的组织平台，落实实践基地，制定配套的管理制度．可通过党团组织引导专