买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:联邦科学和工业研究组织
摘要:本发明涉及一种监视过程。处理器创建该过程的标称操作的数值表示。该处理器然后使用同态加密来加密该数值表示以确定加密的数值表示,该加密的数值表示阻止对该数值表示的访问但允许对数值表示的计算。处理器通过使用加密的数值表示作为智能合约的计算的第一输入在区块链平台上创建智能合同而继续进行。接下来,处理器尝试使用过程的当前操作作为智能合约计算的第二输入来执行智能合约。智能合约的执行通过对加密的数值表示执行计算来生成输出结果。基于智能合约的执行的输出,处理器最终确定当前操作在标称操作之外。
主权项:1.一种用于监视计算机系统的当前操作的方法,所述方法包括:创建所述计算机系统的标称操作的petri网并且创建所述petri网的数值表示以创建所述计算机系统的标称操作的数值表示,其中所述数值表示指示所述标称操作的位置和所述位置之间的有效转化,包括多个二进制标称向量,多个二进制标称向量中的每一者表示位置之间的有效转化之一,以及所述计算机系统的当前操作由二进制当前状态向量表示;使用同态加密来加密所述数值表示以确定加密的数值表示,包括加密的标称向量,所述加密的数值表示阻止对所述数值表示的访问但允许对所述数值表示的计算;使用所述加密的数值表示作为对智能合约的计算的第一输入而在区块链平台上创建智能合约,所述智能合约包括基于所述二进制当前状态向量和所述加密的标称向量进行的二进制操作;尝试使用所述计算机系统的当前操作作为对所述智能合约的所述计算的第二输入来执行所述智能合约,所述智能合约的执行通过对所述加密的数值表示执行所述计算来生成输出结果;基于所述智能合约的所述执行的输出并且响应于确定执行所述智能合约的失败,确定所述计算机系统的所述当前操作在所述标称操作之外。
全文数据:
权利要求:
百度查询: 联邦科学和工业研究组织 监视制造过程
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。