Java卡对象共享安全策略分析与实现

使用形式化方法对Java智能卡的应用隔离与对象共享机制进行分析,用信任模型表述卡内多应用间对象共享关系,根据信任可传递的条件推断出仅由应用级安全策略控制共享对象访问的不足,提出以增加卡内全局访问控制机制来防止未经授权的信息流动这一安全策略设计思路,并给出一个简单实现。     

智能IC卡文件系统的设计与实现

简要介绍了智能卡操作系统的基本组成和分层结构，重点分析智能卡文件系统的结构类型，设计并实现了链表式文件体系结构，并对各种文件系统的特点进行了比较，得出新文件系统具有更高的可靠性和实用性这一结论。