检索结果-内蒙古大学图书馆

2012 International Conference on Solid State Devices and Materials Science(SSDMS 2012)

作者： Xu JunWu Liang JunLing Hubei Provincial Key Laboratory of Intelligent Robo Wuhan Institute of Technology School of Automation s Wuhan university of technolog

This paper describes research in the use of the Security and Trust Services API for J2ME(SATSA) to develop mobile applications. for 3G networks. SATSA defines a set of APIs that allows J2 ME applications to communicate with and access functionality, secure storage and cryptographic operations provided by security elements such as smart cards and Wireless Identification Modules(WIM). A java card application could also work as an authentication module in a J2ME-based e-bank application. The e-bank application would allow its users to access their bank accounts using their cell phones.

关键词： SATSA J2ME java card 3G

来源：评论

学校读者我要写书评

暂无评论

Formalizing java's Two's-Complement Integral Type in Isabelle/HOL

引用

Electronic Notes in Theoretical Computer Science 2003年 80卷 41-58页

作者： Nicole Rauch Burkhart Wolff Universität Kaiserslautern Germany Albert-Ludwigs-Universität Freiburg Germany

We present a formal model of the java two's-complement integral arithmetics. The model directly formalizes the arithmetic operations as given in the java Language Specification (JLS). The algebraic properties of these definitions are derived. Underspecifications and ambiguities in the JLS are pointed out and clarified. The theory is formally analyzed in Isabelle/HOL, that is, machine-checked proofs for the ring properties and divisor/remainder theorems etc. are provided. This work is suited to build the framework for machine-supported reasoning over arithmetic formulae in the context of java source-code verification.

关键词： java java card formal semantics formal methods tools theorem proving integer arithmetic

来源：评论

学校读者我要写书评

暂无评论

Storing a persistent transactional object heap on flash memory

引用

ACM SIGPLAN NOTICES 2006年第7期41卷 22-33页

作者： Spivak, Michal Toledo, Sivan Tel Aviv Univ Sch Comp Sci Tel Aviv Israel

We present the design and implementation of TINYSTORE, a persistent, transactional, garbage-collected memory-management system, designed to be called from the java virtual machine of a java card. The system is designed for flash-based implementations of java card, a variant of the java platform for smart cards. In the java card platform, objects are persistent by default. The platform supports transactions: a sequence of accesses to objects can be explicitly declared to constitute a transaction. TINYSTORE supports explicit transactions and atomically executes individual accesses that are not part of transactions;it also supports garbage collection, even on systems with a small constant amount of RAM. TINYSTORE uses a novel approach and specialized data structures to efficiently manage flash memory. We demonstrate its effectiveness by comparing it to a traditional EEPROM-based memory management system for java cards.

关键词： algorithms design measurement persistent heaps persistent object stores flash NOR flash transactions java card smart cards

来源：评论

学校读者我要写书评

暂无评论

Integrated System Used for Personal Identification to a Robot Mainframe

引用

IFAC Proceedings Volumes 2003年第23期36卷 107-112页

作者： Mădălin Ştefan Vlad Valentin Sgârciu Mihai Ceaparu "Politehnica " University of Bucharest Faculty of Automatic Control and Computers Splaiul Independentei 313 sector 6 060032 Bucharest ROMANIA

The paper presents an application developed for java card smart cards, with multiapplication support. Although the multiapplication support was not exemplified, the use of smart card for personal identification has some advantages, the most important beeing its security. In this paper are shown the structure of the application, various security systems, which ensure the access to a robot mainframe to only the designated people, who have rights to control the specified robot.

关键词： Smart card Multi-application Concept java card Access Control Automatic Personal Identification

来源：评论

学校读者我要写书评

暂无评论

Memory Requirements of java Bytecode Verification on Limited Devices

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年第1期132卷 95-111页

作者： Klohs, Karsten Kastens, Uwe Univ Paderborn Dept Comp Sci Paderborn Germany

Bytecode verification forms the corner stone of the java security model that ensures the integrity of the runtime environment even in the presence of untrusted code. Limited devices, like java smart cards, lack the necessary amount of memory to verify the type-safety of java bytecode on their own. Proof carrying code techniques compute, outside the device, tamper-proof certificates which simplify bytecode verification and pass them along with the code. Rose has developed such an approach for a small subset of the java bytecode language. In this paper, we extend this approach to real world java software and develop a precise model of the memory requirements on the device. We use a variant of interval graphs to model liveness of memory regions in the checking step. Based on this model, memory-optimal checking strategies are computed outside the device and attached to the certificate. The underlying type system of the bytecode verifier has been augmented with multi-dimensional arrays and recognizes references to uninitialized java objects. Our detailed measurements, based on real world java libraries, demonstrate that the approach offers a substantial improvement in size of certificate over the similar approach taken by the KVM verifier. Worst case memory consumption on the device is examined as well and it turns out that the refinements based on our model save a significant amount of memory.

关键词： Proof Carrying Code Bytecode Verification Limited Devices java card

来源：评论

学校读者我要写书评

暂无评论

Recovering from a Lost Digital Wallet

Recovering from a Lost Digital Wallet

引用

International Workshop on Intelligent Communication and Social Networks

作者： Raja Naeem Akram Konstantinos Markantonakis Keith Mayes Cyber Security Lab Department of Computer Science University of Waikato Information Security Group Smart Card Centre Royal Holloway University of London

ISBN: (纸本)9781479909735

Multi-application smart cards enable a user to have multiple applications on her smart card. The growing trend of services convergence fuelled by the Near Field Communication and smartphones has made multi-application smart cards a tangible reality. In such an environment, cardholders might have number of applications on their smart cards and in case they lose the smart card, they would lose all of the applications. Currently, the recovery of a smart card based service might take from a day to a week at best, during which time the service provider might lose on business from the user because she is not able to access the respective services. The proposed framework in this paper enables a user to acquire a new smart card as she desires and then migrate/restore all of her applications onto it - facilitating her to recover from her lost digital wallet in a secure, efficient, seamless and ubiquitous manner.

关键词： Smart card GlobalPlatfrom Consumer-Centric Model java card Trusted Computing Performance Measurement

来源：评论

学校读者我要写书评

暂无评论

Secure and Trusted Execution: Past, Present, and Future - A Critical Review in the Context of the Internet of Things and Cyber-Physical Systems

Secure and Trusted Execution: Past, Present, and Future - A ...

引用

IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Carlton Shepherd Ghada Arfaoui Iakovos Gurulian Robert P. Lee Konstantinos Markantonakis Raja Naeem Akram Damien Sauveron Emmanuel Conchon ISG-SCC University of London Egham United Kingdom Orange Labs Châtillon France Département Mathématiaues Informatiaue Xlim (umr Cnrs 7252 / Université de Limoges) Limoges France LaBRI (UMR CNRS 5800/Université de Bordeaux) Talence France

ISBN: (纸本)9781509032068

Notions like security, trust, and privacy are crucial in the digital environment and in the future, with the advent of technologies like the Internet of Things (IoT) and Cyber-Physical Systems (CPS), their importance is only going to increase. Trust has different definitions, some situations rely on real-world relationships between entities while others depend on robust technologies to gain trust after deployment. In this paper we focus on these robust technologies, their evolution in past decades and their scope in the near future. The evolution of robust trust technologies has involved diverse approaches, as a consequence trust is defined, understood and ascertained differently across heterogeneous domains and technologies. In this paper we look at digital trust technologies from the point of view of security and examine how they are making secure computing an attainable reality. The paper also revisits and analyses the Trusted Platform Module (TPM), Secure Elements (SE), Hypervisors and Virtualisation, Intel TXT, Trusted Execution Environments (TEE) like GlobalPlatform TEE, Intel SGX, along with Host card Emulation, and Encrypted Execution Environment (E3). In our analysis we focus on these technologies and their application to the emerging domains of the IoT and CPS.

关键词： Cyber-Physical System Trust Trustworthiness Trusted Computing Trusted Platform Module Trusted Execution Environment GlobalPlatform java card Intel SGX Host card Emulation Encrypted Execution Environment Internet of Things

来源：评论

学校读者我要写书评

暂无评论

多应用智能卡新技术研究

多应用智能卡新技术研究

引用

作者：董威北京邮电大学

学位级别：博士

智能卡作为信息的存取设备,具有智能、便于携带、安全的优点,迅速得到广泛应用。随着使用领域的增多,要求智能卡提供服务的形式多样化,要求智能卡能完成复杂的功能。基于微电子技术的发展,智能卡存储容量、CPU处理速度等硬件指标迅速提... 详细信息

智能卡作为信息的存取设备,具有智能、便于携带、安全的优点,迅速得到广泛应用。随着使用领域的增多,要求智能卡提供服务的形式多样化,要求智能卡能完成复杂的功能。基于微电子技术的发展,智能卡存储容量、CPU处理速度等硬件指标迅速提高;智能卡与外界设备的通信接口和协议更加强大;硬件技术的不断进步,为复杂智能卡操作系统、智能卡应用软件的开发提供了可能。智能卡技术的内涵越来越广泛,涵盖了如微电子技术、系统设计、密码技术、生物技术等各方面。本文以不同行业共用同一张智能卡提供服务作为研究重点,针对目前不同领域对智能卡的技术需求,以及智能卡软件技术的最新发展,就跨行业多应用智能卡的系统模型、COS(card OperatingSystem)设计与改进,安全内容管理,新应用协议设计等方面进行了深入研究,取得了创新性成果。论文的主要创新有:(1)基于对单应用智能卡技术的研究,针对目前不同行业对智能卡服务的需求,提出了基于文件系统的多应用智能卡系统模型。(2)对当前java card多应用操作系统技术进行了深入研究,针对SUN公司提出的java card参考实现存在的问题,就其整体框架、具体模块、实现策略等方面进行了优化,提出了新的实现模型。(3)移动通信领域是智能卡应用最为成功的领域,3G网络中的UICC(Universal Integrate Circuit card)平台作为一种多应用平台出现,使得SIM(Subscriber Identity Module)卡的角色发生了革命性的转变,论文通过对UICC平台和java card技术的特点进行分析,提出并实现了一种基于java card技术的UICC平台COS方案。(4)以java card技术为代表的多应用平台,是一种卡上内容开放的系统,其核心属性——安全受到威胁,同时对发卡商、COS开发商、应用提供商在卡内容管理中所承担的安全责任提出新要求。GlobalPlatform系列规范为卡的多应用管理提供了安全框架,本论文通过对GlobalPlatform智能卡安全框架进行全面研究,分析了USIM卡的多应用工作原理和需求,实现了基于密钥管理的java USIM卡多应用安全管理解决方案。(5)随着EMV(Europay Mastercard Visa)迁移的实施,智能卡在银行领域得到广泛应用,由于在EMV系统中银行卡仅用于保存个人信息,在实施交易过程中,必须得到银行后台系统的在线支持,使用不便。本文在分析现有的电子现金协议基础上,提出了一种离线的电子现金交易方案,提高了电子现金的可用性和实用程度。

关键词：智能卡跨行业多应用 java card 环球平台通用集成电路卡离线电子现金协议

来源：评论

学校读者我要写书评

暂无评论

java卡代码覆盖率数据源机制的研究与计算

JAVA卡代码覆盖率数据源机制的研究与计算

引用

作者：张淋淋北京交通大学

学位级别：硕士

随着互联网技术的快速发展和应用,软件产品已经全面的走入了我们的生活,同时人们对于软件产品的稳定性,安全性等性能的要求也越来越高,所以软件测试工作越来越得到软件开发人员的重视。代码覆盖率测试是测试过程中的一个重要部分,对提... 详细信息

随着互联网技术的快速发展和应用,软件产品已经全面的走入了我们的生活,同时人们对于软件产品的稳定性,安全性等性能的要求也越来越高,所以软件测试工作越来越得到软件开发人员的重视。代码覆盖率测试是测试过程中的一个重要部分,对提高测试效率和质量具有十分积极的意义。由于目前的代码覆盖率分析工具都是基于JVM,而java card运行的程序均是由JCVM提供运行环境支撑,针对握奇数据系统有限公司自己实现的JCVM,根据公司实际需求,公司决定开发一种基于JCVM的覆盖率测试工具,本次设计承担的是这次项目开发中软仿真的工作。需要实现记录并保存软仿真在某段时间内指定的代码被运行的状态,按照指定格式输出相应的记录文件。首先通过JCVM中的指令分析器和执行数据库得到指令的运行信息,然后通过工程的调试信息推算出源代码的执行情况,进而得到程序运行的覆盖率的具体信息。然后将统计的代码覆盖率的信息以EC和EM文件的形式输出出来,用于覆盖率测试工具的开发,配合插件开发人员最终开发出了一款测试java卡代码覆盖率的工具。最终,成功输出了记录代码运行时覆盖率信息的EC和EM文件,并配合插件开发人员成功开发了一种测试java卡代码覆盖率的测试工具并投入公司实际使用。使用测试结果表明,这种计算在特定JCVM上运行的java卡代码覆盖率的方法是可行的,通过这种方法可以准确的得到关于java卡代码的语句覆盖率的详细信息,用来指导完善我们的测试工作。

关键词：代码覆盖率 JCVM java卡代码 java card

来源：评论

学校读者我要写书评

暂无评论

智能卡技术研究与开发

智能卡技术研究与开发

引用

作者：陈波武汉理工大学

学位级别：硕士

本文目的在于深入研究智能卡技术,尤其是安全技术,运用之,并且开发其技术。其意义在于使安全技术更好的运用在智能卡上,提高智能卡的安全性能。本文选择了智能卡加密技术作为研究对象,通过对java card加密安全技术研究,提出了一些能运... 详细信息

本文目的在于深入研究智能卡技术,尤其是安全技术,运用之,并且开发其技术。其意义在于使安全技术更好的运用在智能卡上,提高智能卡的安全性能。本文选择了智能卡加密技术作为研究对象,通过对java card加密安全技术研究,提出了一些能运用于实践的构想并在此基础上进行设计。本文研究了智能卡安全算法理论,包括对称密码算法(DES,AES),非对称密码算法(RSA,ECC),散列函数,数字签名。介绍了java card技术,包括java card技术规范,java card虚拟机技术,java card应用编程接口,java card安全技术。在对DES,AES,RSA,ECC加密算法分析的基础上,提出了两种混合密钥系统(DES,RSA)和(AES,ECC)。提出的DES和RSA混合密钥系统在java card中的实现这一构想,先设计出混合密钥系统,该系统具有保密和鉴别(数字签名)的功能。在DES,RSA混合密钥系统的基础上,根据java card开发步骤,用软件开发了java card,给出了DES,RSA算法的类模块及java card设计流程图,而后运行成功,表明该方案具有实际可行性。提出的AES和ECC混合密钥系统在java card中的实现这一构想,先设计出混合密钥系统,该系统具有保密和鉴别(数字签名)的功能。再介绍SOPC技术和智能卡微计算机结构,在基于混合密钥系统和SOPC技术之上进行java card芯片系统设计,给出了芯片系统框图并对其每个模块进行了分析,与原有的传统芯片相比其性价比大大的提高了,并采用定制指令加快混合密码系统的软件实现,提高了软件算法的实现速度,从设计的合理性来看,该款芯片能使AES与ECC混合密钥系统在java card中的实现具有可行性。本文主要完成了以下两个方面的创新:1.设计的DES和RSA混合密钥系统在java card中实现,这一实现主要用软件来完成;2.设计的AES和ECC混合密钥系统在java card中实现,这一实现主要将AES和ECC算法的特点和SOPC技术结合起来,设计出新型的java card芯片,该芯片能很好的实现AES和ECC混合密钥系统。

关键词：智能卡 java card 对称密码算法非对称密码算法 SOPC

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：