基于会议模型的射频优卡多COS安全模型

基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.

Multi-COS security model for RF-UCard based on conference model

A novel model called seat-constrained conference model was proposed to model the multi-chip operating systems(COS) security of radio frequency universal smart card(RF-UCard).The formal definition of desired security properties and the finite state machines for the multi-COS security were also presented.An isolated memory was introduced to provide the run-time security environment for the running COS.The behavioral simulation and FPGA implementation showed that multi-COS security can be guaranteed effectively by this model.