首页> 外文OA文献 >Smart card systems: managing risks and modelling security protocols using SystemC and Transaction Level Modelling
【2h】

Smart card systems: managing risks and modelling security protocols using SystemC and Transaction Level Modelling

机译:智能卡系统:使用systemC和事务级建模管理风险和建模安全协议

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Smart cards are examples of advanced chip technology. They allow information transfer between the card holder and the system over secure networks, but they contain sensitive data related to both the card holder and the system, that has to be kept private and confidential.The aim of the research is to conduct a risk management programme on the smart cards systems that are employed in e-business systems, suggest the best safeguards to be applied to better secure the smart card systems depending on the services and applications the smart card serves, and produce a simulation tool using a high level of abstraction programming language to be able to test the robustness of the proposed solutions.The study contributions are producing a Risk Analysis Guide specifically on smart card systems to support managerial decision making, modelling the current and proposed smart card systems including modelling the possible attacks using the Unified Modelling Language (UML) diagrams, and developing an executable model using SystemC and Transaction Level Modelling (TLM)extensions, which is a new way of modelling and testing smart card systems security.The security objectives have to be considered during the early stages of systems development and design; an executable model will give the designer the advantage of identifying vulnerabilities at an early stage, and therefore enhance the system security. The developed model is used to examine the effectiveness of number of authentication mechanisms with different probabilities of failure. Numbers of probable attacks on the current security protocol are modeled to identify vulnerabilities. The executable model shows that the smart card system security protocols and transactions need further improvement to withstand different types of security attacks.
机译:智能卡是高级芯片技术的示例。它们允许通过安全网络在持卡人和系统之间进行信息传输,但它们包含与持卡人和系统有关的敏感数据,必须将其保密并保密。研究的目的是进行风险管理电子商务系统中使用的智能卡系统上的程序,建议根据智能卡所提供的服务和应用程序应采用的最佳保护措施,以更好地保护智能卡系统,并使用较高级别的安全性来生成模拟工具为了能够测试所提出的解决方案的鲁棒性的抽象编程语言。研究成果正在编写专门针对智能卡系统的《风险分析指南》,以支持管理决策,对当前和提议的智能卡系统进行建模,包括使用统一建模语言(UML)图,并使用SystemC和Transaction Level Mo开发可执行模型扩展(TLM)扩展,这是一种建模和测试智能卡系统安全性的新方法。在系统开发和设计的早期阶段,必须考虑安全性目标;可执行模型将使设计人员具有在早期识别漏洞的优势,从而增强了系统安全性。所开发的模型用于检查具有不同失败概率的多种身份验证机制的有效性。对当前安全协议上可能的攻击次数进行了建模,以识别漏洞。可执行模型表明,智能卡系统的安全协议和事务需要进一步改进以承受不同类型的安全攻击。

著录项

  • 作者

    Bushager Aisha Fouad;

  • 作者单位
  • 年度 2011
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"en","name":"English","id":9}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号