欢迎访问行业研究报告数据库

行业分类

当前位置:首页 > 报告详细信息

找到报告 1 篇 当前为第 1 页 共 1

安全信息自动取款机(SIATM)的正式完整框架与应用

Formal Integrity Framework with Application to a Secure Information ATM (SIATM)

作者:Anderson, M.Montague, P.Long, B. 作者单位:Defence Science and Technology Organisation, Edinburgh, (Australia). 加工时间:2013-12-10 信息来源:科技报告(AD) 索取原文[41 页]
关键词:电子信息;信息系统;安全;应用
摘 要:Information Security is traditionally treated in three main categories: Con dentiality, Integrity, and Availability. While much work has been done on modelling Con dentiality and Availability, aspects involving comprehensive modelling and quality of data integrity in complex systems appear to be, on a relative scale, much less well understood and implemented. Further, most work on Integrity and resultant implementations seems to have focussed more on a matters related to source authentication and transmission assurance. However, the quality of data aspect is becoming more critical for attention, given the increasing levels of automation of information fusion and data transformation in a globalised Cyberspace. In this paper, we survey the existing integrity models and identify shortcomings of these with regard to a general integrity framework encompassing the quality of data aspect. We then propose and formally model a new framework, illustrating the approach with reference to use cases built around the Secure Information ATM (SIATM) - a highly accreditable security system currently under development.
© 2016 武汉世讯达文化传播有限责任公司 版权所有 技术支持:武汉中网维优
客服中心

QQ咨询


点击这里给我发消息 客服员


电话咨询


027-87841330


微信公众号




展开客服