管理协议，验证和转换下载程序片断的方法及对应的系统

发明专利无效专利

申请号：
CN00811932.5
IPC分类号：--
申请日期：
2000-08-21
申请人：
信用逻辑公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	管理协议，验证和转换下载程序片断的方法及对应的系统
申请号	CN00811932.5	申请日期	2000-08-21
法律状态	权利终止	申报国家	中国
公开/公告日	2002-09-18	公开/公告号	CN1370294
优先权	暂无	优先权号	暂无
主分类号	暂无	IPC分类号	暂无查看分类表>
申请人	信用逻辑公司	申请人地址	法国凡尔塞变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	信用逻辑公司	当前权利人	信用逻辑公司
发明人	X·莱尔奥
代理机构	北京市中咨律师事务所	代理人	于静;杨晓光

摘要

本发明涉及管理协议，并涉及验证已经下载到便携系统的程序片断或小应用程序的方法。小应用程序的下载命令(100a，100b)被执行。一旦收到正响应，则读取小应用程序的对象代码(101)并逐条指令经过验证过程(102)。验证过程由一阶段组成，该阶段包括类型栈和寄存器类型表的初始化，它们表示在小应用程序代码的执行开始时便携系统的虚拟机状态；以及对每一目标当前指令逐条指令的验证，包括验证目标转移指令，目标异常处理程序调用或目标子程序调用的存在性，验证和更新指令对类型栈和寄存器类型表的效果。如果验证成功(103a)，小应用程序被寄存(104)并向下载驱动器发送(105)确认。否则，小应用程序被删除(106)。本发明适用于Java环境的便携系统。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供