-
题名事故树分析法在预防自动取款机犯罪活动中的应用
被引量：2
- 1
-
-
作者
阳富强
吴超
张进春
-
机构
中南大学资源与安全工程学院
-
出处
《中国安全科学学报》
CAS
CSCD
2006年第10期126-130,共5页
-
文摘
笔者将事故树分析法(FTA)运用到银行领域,预防作案人利用自动取款机(ATM)进行犯罪活动,定性分析其犯罪活动发生的过程,导出引起犯罪活动发生的基本原因事件;建立了相应的事故树图;得出了最小割集、最小径集,比较了各基本原因事件的割集重要系数。最后结合各基本原因事件,从人-机-环系统的角度出发(用户和银行方面、ATM自身设计、环境布置),为银行ATM系统安全性能方面的改善,控制犯罪活动的发生提出一些应对措施。
-
关键词
自动取款机
事故树分析
预防
犯罪活动
人-机-环系统
-
Keywords
atm（automatic teller machine）
man-machine-environment system FTA（Fault Tree Analysis）
preventing
crime
-
分类号
X913.4
[环境科学与工程—安全科学]
-
-
题名采用SPIN的自动柜员机业务逻辑模型检测方法
被引量：2
- 2
-
-
作者
史慧玲
马文可
张新常
张玮
-
机构
山东省计算中心山东省计算机网络重点实验室
-
出处
《计算机应用与软件》
CSCD
北大核心
2012年第6期36-38,50,共4页
-
基金
国家自然科学基金项目(61070039)
山东省科学院博士基金(2010-12)
-
文摘
由于自动柜员机需要提供可靠的服务,确保其业务逻辑的正确性具有非常重要的意义。然而,传统的测试方法不能对其正确性进行验证。以相关业务逻辑为具体实例,给出一种基于Spin(Simple Promela Interpreter,一种典型的模型检测工具)的自动柜员机的模型检测方法。介绍如何对自动柜员机业务逻辑进行建模、如何对其主要属性进行描述和验证。实验结果表明了所提方法的可行性。
-
关键词
模型检测
线性时态逻辑
自动柜员机
-
Keywords
Model checking Linear temporal logic atm（automatic teller machine）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
