[发明专利]在不受控制数据处理设备上容纳安全关键应用程序的方法和制品

权利要求书

1.一种在不受控制数据处理设备(UDPD)上容纳安全关键应用程序(SCA)的方法，该方法包含：

借助于UDPD确定SCA是否正常安装在UDPD上；

借助于UDPD确定SCA在UDPD上是否具有正常功能；

当出现如下情况时，借助于UDPD阻止SCA自由运行在UDPD上：

确定SCA未正常安装在UDPD上；或

确定SCA在UDPD上不具有正常功能；以及

当确定SCA正常运行在UDPD上时，借助于UDPD许可SCA自由运行在UDPD上，其中，确定SCA正常运行在UDPD上需要：

确定SCA正常安装在UDPD上；以及

确定SCA在UDPD上具有正常功能。

2.如权利要求1所述的方法，其中阻止SCA自由运行在UDPD上包含借助于UDPD使SCA不能运行在UDPD上。

3.如权利要求1所述的方法，其中阻止SCA自由运行在UDPD上包含：

借助于UDPD使SCA的安全关键特征不能在UDPD上执行；以及

借助于UDPD使SCA的非安全关键特征能够在UDPD上执行。

4.如权利要求1所述的方法，其中确定SCA是否正常安装在UDPD上包含：

借助于UDPD识别UDPD上的安装SCA组件的图像；以及

借助于UDPD将安装SCA组件的图像与参考安装数据相比较。

5.如权利要求4所述的方法，其中将安装SCA组件的图像与参考安装数据相比较包含：

借助于UDPD将与安装SCA组件相关联的检错或纠错数据与参考安装数据中的相应检错或纠错数据相比较；

借助于UDPD将与安装SCA组件相关联的文件名与参考安装数据中的相应文件名相比较；或

借助于UDPD将与安装SCA组件相关联的版本号与参考安装数据中的相应版本号相比较。

6.如权利要求1所述的方法，其中确定SCA在UDPD上是否具有正常功能包含：

借助于UDPD启动使用参考计算输入的计算；以及

借助于UDPD将计算的结果与参考计算数据相比较。

7.如权利要求6所述的方法，其中确定SCA在UDPD上是否具有正常功能包含：

借助于UDPD确定使用参考计算输入进行计算的时间；以及

借助于UDPD将进行计算的时间与参考定时数据相比较。

8.如权利要求1所述的方法，其中确定SCA在UDPD上是否具有正常功能包含：

借助于UDPD确定进行活动的时间；以及

借助于UDPD将进行活动的时间与参考定时数据相比较。

9.如权利要求8所述的方法，其中确定SCA在UDPD上是否具有正常功能进一步包含：

借助于UDPD启动要显示在UDPD的显示器上的图像；

借助于UDPD确定显示在显示器上的实际图像；以及

借助于UDPD将显示的实际图像与参考显示数据相比较。

10.如权利要求9所述的方法，其中确定SCA在UDPD上是否具有正常功能进一步包含：

借助于UDPD确定SCA是否在UDPD上与外部设备正常通信。

11.如权利要求10所述的方法，包含：

借助于UDPD识别UDPD的第一当前环境，该第一当前环境与许可SCA自由运行在UDPD上时的时间相关联。