首页> 中文期刊> 《计算机工程与科学》 >一种通用中间件安全模型及形式化描述

一种通用中间件安全模型及形式化描述

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机(FSM)对该模型进行形式化描述,并证明了系统的安全性.

著录项

来源
《计算机工程与科学》 |2006年第1期|112-114|共3页
作者
吴景阳; 毋国庆;
展开▼
作者单位

武汉大学计算机学院;

湖北;

武汉;

430072;

武汉大学计算机学院;

湖北;

武汉;

430072;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
中间件安全性; 安全模型; 体系结构; 有穷状态自动机FSM;

相似文献

中文文献
外文文献
专利

1. 一种基于安全中间件的网格安全模型 [J] . 王庆荣 ,王海涌 . 甘肃科学学报 . 2008,第003期
2. 一种通用医学图像系统安全模型的研究 [J] . 周卫东 ,王翠玲 ,张贵仓 . 甘肃科技 . 2007,第010期
3. 基于策略的网络安全模型及形式化描述 [J] . 单蓉胜 ,王明政 ,李建华 . 计算机工程与应用 . 2003,第013期
4. 一种安全芯片通用中间件的模型及实现 [J] . 徐平江 ,曹国顺 ,卢玉华 . 信息技术与标准化 . 2022,第1期
5. 一种通用混合计算中间件的设计与实现 [J] . 张洪豪 ,姚欣 ,王劲松 . 现代电子技术 . 2020,第012期
6. 一种通用医学图像系统安全模型的研究 [C] . 周卫东 ,兰州园艺学校 ,王翠玲 . 第三届中国几何设计与计算大会 . 2007
7. 基于中间件技术的移动Agent系统安全模型 [A] . 赵云飞 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号