0004-0001、程序处理装置
0001-0002、可自动更新核心程序的影音播放机
0005-0003、在微处理器用户态随机验证中实现核心态程序验证的方法
0003-0004、在路由区域改变期间减少服务中断的系统、设备、方法和程序
0002-0005、安全地保存和还原安全程序加载程序上下文的系统及方法