-
题名基于B/S模式的销售管理系统的安全模式设计
被引量：4
- 1
-
-
作者
陈秀莉
赵舒寓
-
机构
东南大学计算机科学与工程系
-
出处
《安徽大学学报（自然科学版）》
CAS
2004年第5期19-22,共4页
-
文摘
基于Web的销售管理系统的安全模式设计,既要考虑系统本身的安全,又必须考虑网络的安全性。本文讨论了在一个药品销售管理应用系统的开发中,所采用的安全模式。该安全模式主要是包括页面访问控制和数据访问控制两方面的设计。
-
关键词
B/S模式
销售管理系统
安全模式设计
数据访问控制
用户权限
身份验证
-
Keywords
model for B/S
sale management system
security model
accessing control
authentication
user purview
-
分类号
F713.3
[经济管理—产业经济]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名模式驱动的系统安全性设计的验证
被引量：1
- 2
-
-
作者
郑小宇
刘冬梅
杜益宁
周子健
邱玫媚
朱鸿
-
机构
南京理工大学计算机科学与工程学院
Oxford Brookes大学工程、计算和数学学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2020年第7期1197-1207,共11页
-
基金
国家自然科学基金(61502233,61402229)
江苏高校“青蓝工程”
+1 种基金
中央高校基本科研业务费专项资金(30916011328)
欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)。
-
文摘
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。
-
关键词
安全设计模式
代数规约
形式化验证
模型检测
-
Keywords
security design pattern
algebraic specification
formal verification
model checking
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名环境减灾-1A、1B卫星星务分系统技术
被引量：12
- 3
-
-
作者
李志刚
伍保峰
冯永
-
机构
航天东方红卫星有限公司
-
出处
《航天器工程》
2009年第6期76-80,共5页
-
基金
国家重大科技专项工程
-
文摘
介绍了环境减灾-1A、1B卫星星务分系统的组成、方案设计、技术特点以及可靠性设计等方面的内容。主要阐述了整星安全模式管理、相对时间程控指令功能、时间管理、总线通信管理、双机自主切换管理以及高精度控温技术等。
-
关键词
星务管理
系统设计-安全模式
-
Keywords
housekeeping system
system design
safe mode
-
分类号
V443
[航空宇航科学与技术—飞行器设计]
-
