论文部分内容阅读
本文通过对中间件安全性的分析，结合传统安全模型的特点，从中间件安全模型设计要求的特点出发，建立了一个可应用于任何中间件技术的通用中间件安全模型；最后对该模型的特征进行分析，并运用有穷状态自动机（FSM）对该模型进行形式化描述，并证明了系统的安全性。
一种通用中间件安全模型及形式化描述
【摘 要】
：
本文通过对中间件安全性的分析，结合传统安全模型的特点，从中间件安全模型设计要求的特点出发，建立了一个可应用于任何中间件技术的通用中间件安全模型；最后对该模型的特征进行分
【机 构】
：
武汉大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年1期
其他文献
10月18日，雅安市人大主任李伊林深入后域乡全新村检查指导精准脱贫工作。在查看了后域乡全新村6组蒋文碧、李成芬家改造的房屋后。李伊林主任对后域乡全新村贫困户农房改造进
为深入贯彻落实国务院办公厅、省政府办公厅近年印发的关于进一步加强林业有害生物防治工作的意见精神，规范行业自律，推进社会化防治体系建设，四川省林学会在前期多次召集林业厅
广元是全省特色经济林规划布局的核桃产业发展重点区域。近年来，广元市将以核桃为主的木本油料产业纳入“三农”工作重点，列在五大优势百亿产业之首，并在此基础上规划并实施了木
本文对管网校合数学模型进行改进,提出了用遗传算法进行管网校合的方法,并对广义简约梯度法和遗传算法进行了比较和分析,最后指出了算法的不足和以后研究的主要方向.
阐述了无线局域网的新安全标准--RSN的体系结构及安全机制,然后详细研究了RSN的密钥信息发布过程,最后给出了一种密钥分发过程的改进方案.
年前，冕宁县林业主管部门查处一起擅自改变林地用途的案件，当事人受到林业行政处罚。2014年3月，家住冕宁县漫水湾镇沙耳村的村民陈云正在种植农作物。他以为这是一个能圆满的致
女性天生被赋予了无穷的创造力，她们孕育伟大的生命，并用爱心创造美丽，用坚韧创造幸福。女企业家更是如此，她们用女性特有的方式去创业、创新、创富，她们创造历史，同时也登上属于自
7月5日，苍溪县森林公安局接到电话报警称：“苍溪县白鹤乡人伏某某无证砍伐石门乡文家角村5组林术，现正将砍伐的林木运往苍溪县城销售。”
2019年10月19日上午,由西北大学、高等教育出版社联合主办,西北大学文学院承办的"第五届世界华文创意写作大会暨2019年创意写作社会化高峰论坛"开幕式在西安举行,中国作家协