期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于B/S模式的销售管理系统的安全模式设计 被引量:4
1
作者 陈秀莉 赵舒寓 《安徽大学学报(自然科学版)》 CAS 2004年第5期19-22,共4页
基于Web的销售管理系统的安全模式设计,既要考虑系统本身的安全,又必须考虑网络的安全性。本文讨论了在一个药品销售管理应用系统的开发中,所采用的安全模式。该安全模式主要是包括页面访问控制和数据访问控制两方面的设计。
关键词 B/S模式 销售管理系统 安全模式设计 数据访问控制 用户权限 身份验证
下载PDF
模式驱动的系统安全性设计的验证 被引量:1
2
作者 郑小宇 刘冬梅 +3 位作者 杜益宁 周子健 邱玫媚 朱鸿 《计算机工程与科学》 CSCD 北大核心 2020年第7期1197-1207,共11页
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安... 随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。 展开更多
关键词 安全设计模式 代数规约 形式化验证 模型检测
下载PDF
环境减灾-1A、1B卫星星务分系统技术 被引量:11
3
作者 李志刚 伍保峰 冯永 《航天器工程》 2009年第6期76-80,共5页
介绍了环境减灾-1A、1B卫星星务分系统的组成、方案设计、技术特点以及可靠性设计等方面的内容。主要阐述了整星安全模式管理、相对时间程控指令功能、时间管理、总线通信管理、双机自主切换管理以及高精度控温技术等。
关键词 星务管理 系统设计-安全模式
下载PDF
凌华PXI切换器模块
4
《电子产品世界》 2004年第10B期39-39,共1页
关键词 凌华公司 PXI规格 切换器模块 PXI-7900系列 安全模式设计 继电器 技术规格
下载PDF
Groundwork for True XML-based Security Pattern Languages
5
作者 TAWFIQ S.M.Barhoom 张申生 《Journal of Donghua University(English Edition)》 EI CAS 2005年第1期120-123,共4页
A pattern is used to describe best practices and principles. Patterns have been used successfully in architecture and in software design. We propose to apply the pattern method to XML-based security engineering. Organ... A pattern is used to describe best practices and principles. Patterns have been used successfully in architecture and in software design. We propose to apply the pattern method to XML-based security engineering. Organized collections of interrelated patterns (called pattern languages) can embody whole bodies of knowledge on specific topics. We will discuss patterns and security pattern, pattern languages and the requirements of the pattern languages proposing its essential requirement (the template), and lays the groundwork for our future development of a true XML-based security pattern language. 展开更多
关键词 security pattern XML security security patterns language template.
下载PDF
A Stream Pattern Matching Method for Traffic Analysis
6
作者 Zhu Hui Li Hui Mo Can 《China Communications》 SCIE CSCD 2010年第6期86-93,共8页
In order to identify any traces of suspicious activities for the networks security, Network Traffic Analysis has been the basis of network security and network management. With the continued emergence of new applicati... In order to identify any traces of suspicious activities for the networks security, Network Traffic Analysis has been the basis of network security and network management. With the continued emergence of new applications and encrypted traffic, the currently available approaches can not perform well for all kinds of network data. In this paper, we propose a novel stream pattern matching technique which is not only easily deployed but also includes the advantages of different methods. The main idea is: first, defining a formal description specification, by which any series of data stream can be unambiguously descrbed by a special stream pattern; then a tree representation is constructed by parsing the stream pattern; at last, a stream pattern engine is constructed with the Non-t-mite automata (S-CG-NFA) and Bit-parallel searching algorithms. Our stream pattern analysis system has been fully prototyped on C programming language and Xilinx Vn-tex2 FPGA. The experimental results show the method could provides a high level of recognition efficiency and accuracy. 展开更多
关键词 traffic analysis stream pattern match non-finite automata bit-parallel
下载PDF
Model of tri-sectional wheel-based cable climbing robot and analysis of centrifugal safety landing method
7
作者 徐丰羽 Wang Xingsong 《High Technology Letters》 EI CAS 2011年第2期173-179,共7页
This paper proposes a new type of tri-sectional wheel-based cable climbing robot which is able to climb up vertical cylindrical cables of a cable-stayed bridge. The robot is composed of three pairs of wheels equally s... This paper proposes a new type of tri-sectional wheel-based cable climbing robot which is able to climb up vertical cylindrical cables of a cable-stayed bridge. The robot is composed of three pairs of wheels equally spaced circularly which are joined by six connecting boards to form a whole closed hexagonal body to clasp a cable. The whole design is entirely modular to enable to assenably the robot on-siteeasy eaoily. To analyze the static features of the robot, a mathematical model of climbing is deduced. Furthermore, taking a cable with a diameter of 80mm as an example, we calculate the design parameters of the robot. For safly landing in the case of electrical accident, a centrifugal speed regulator is proposed and applied to consume useless energy generated when the robot is slipping down along the cables. A simplified mathematical model of the landing mechanism is deduced. Finally, several experiments on the climbing mechanism demonstrate that the robot can carry payloads less than 2.2kg to climb up a cable with diameters varying from 65mm to 205mm. 展开更多
关键词 climbing robot static features centrifugal speed regulator cable-stayed bridge
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部