郭广义
- 作品数:4 被引量:19H指数:2
- 供职机构:广东工业大学更多>>
- 发文基金:广西壮族自治区自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- Z语言与软件体系结构风格的形式化被引量:6
- 2009年
- 软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道-过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁。
- 郭广义李代平梅小虎
- 关键词:软件体系结构管道-过滤器Z语言形式化
- 智能卡芯片操作系统的研究与实现被引量:12
- 2010年
- 为了充分利用智能卡芯片有限的资源,开发出高效的、易扩充的芯片操作系统(COS),研究了智能卡COS设计和实现方法。介绍了智能卡COS的体系结构,设计了结构模型,从COS的主守护流程、通信管理、文件系统、安全管理和命令解释5个方面论述了智能卡COS的设计与实现。采用中断调度方式节省了系统开销,采用静态存储管理方式节约了存储空间。通过测试验证了COS符合国际标准和行业标准,该系统能正确应用在终端和相应网络环境中,具有良好的兼容性和稳定性。
- 郭鸿志李代平尹伟周允强梅小虎郭琨郭广义
- 关键词:芯片操作系统文件访问控制
- 智能卡芯片结构分析及驱动方法研究
- 智能卡的名称来源于英文名词'Smart Card',智能卡属于IC卡(集成电路卡)的一种。它是一种带有微型CPU处理器和存储器等微型集成电路芯片且具有标准规格的卡片。由于智能卡具有独立的处理器,可以独立的处理数据并将处理...
- 郭广义
- 关键词:智能卡硬件抽象层操作系统
- 文献传递
- CDMA2000芯片操作系统安全部分的研究与设计被引量:1
- 2009年
- 智能卡芯片存储了用户敏感的私密数据,关系着运营商及用户的切身利益,在较小的芯片容量下提高芯片数据的安全性及正确性是设计中的关键问题。对CDMA2000网络分组数据业务中智能卡芯片操作系统的安全模块进行了体系结构设计,对网络接入认证鉴权算法进行分析并优化实现,对文件访问控制、报文鉴别、数据加密通信等进行设计,引入Flash改写及多个文件擦写的掉电保护机制。实验结果表明,该系统运行稳定,安全高效,能进行数据出错检测和恢复,保证了智能卡数据在存储和网络传输过程中的完整性、有效性和真实性。
- 梅小虎李代平郭广义周允强尹伟郭琨郭鸿志
- 关键词:CDMA2000芯片操作系统文件访问控制掉电保护