摘要：针对应用软件缺乏可信性导致可信计算平台存在安全隐患的问题,提出一种以软件标识作为安全载体和验证手段的软件标识发布系统。介绍了其具体功能模块和工作流程,通过引入软件行为声明技术解决了发布之前软件来源的合法性和可信性问题,设计了一个认证协议解决了发布过程中软件的完整性问题,同时为用户提供了一种基于可信行为的最优软件推荐策略。应用事例证明本系统对进一步提高平台整体的可信性具有较高的研究意义和实用价值。

摘要：在某些特殊设备中,如智能电表等产品,由于使用方并非产品设计方,而使用方又担心设计方将程序外泄,带来使用的安全问题,便要求设计方在单片机存储程序时可自动形成带有一定特征和加密特性的软件标识,以达到使用方可以溯源程序的目的。采用对软件代码计算,并形成校验码的方式,是单片机程序存储中的软件标识的一种良好设计方式。