代码执行证明
回答
技术上,问题是如果您事先准备好计算机来完成这个任务,以及您是如何严格定义一段“代码”,因为两个程序可以产生由于分支而执行的相同的指令序列。
在“代码段”的丢失定义中,如果您事先更喜欢计算机,则可以创建一个虚拟机,创建已执行指令的历史记录(或者节省空间,执行的程序)并发送此历史记录实时将公钥加密技术用于可信机器,即“历史管理员”,它使用时间戳标记历史流。对于较低的安全级别,您还可以在本地保存该历史记录,而不在虚拟机内用户可访问的内容之外。尽管仍然存在篡改的可能性(例如损害虚拟机),但在虚拟机启动得到合理保护的公司(无法使用USB端口,BIOS锁定,启动顺序不能使用“保存模式”更改)或工作人员因此他们不能修改硬件和移除/切换组件),但这不会给你100%的安全性,但在很多情况下工作得相当好。
合法,这取决于管辖权和情况。至少在德国和美国,刑法需要比民法更高的确定性,所以我认为这对于民法程序来说足够了,但要根据刑法的情况而定。
有趣。让我更具体一些。想象一下,生成包含非常敏感数据的报告的软件。这些报告由可信管理机构签名并加盖时间戳。但是,为了生成有效的报告,该软件必须**进行大量的预处理操作。这里的要点是要证明这些操作已经完成,并且在特定的时间已经执行了特定的二进制文件以生成特定的报告。换句话说,有必要将软件与它生成的报告结合起来。我不知道这是否真的有可能。 – Silas 2014-10-02 12:36:46
当然,只需将报告文件与我的虚拟机建议中的程序或说明一起添加到历史记录中即可。 – 2014-10-02 13:33:57
嗯,在这种情况下,为什么要信任“历史守护者”机器?这不是“鸡与鸡蛋”问题吗? :) – Silas 2014-10-02 17:10:26
- 1. 代码证明约束执行区域的重要性
- 2. 异步代码执行说明
- 3. boost :: test和验证代码被执行
- 4. 验证dbms_sql.execute执行代码PL/SQL
- 5. 未执行PL/SQL代码验证
- 6. 执行代码
- 7. 代码执行
- 8. 执行PHP代码
- 9. 执行的代码
- 10. 执行代码OSGI
- 11. 在执行代码
- 12. 代码不执行
- 13. 代码未执行
- 14. 执行python代码
- 15. Java代码执行
- 16. 代码不执行?
- 17. SQL代码执行
- 18. 执行从代码
- 19. 代码不执行
- 20. AWS PHP代码不能执行只显示明码
- 21. php代码行不执行
- 22. Zend_View不执行PHP代码执行
- 23. 执行代码执行顺序
- 24. 在执行Jenkinsfile之前执行代码
- 25. javascript - 在代码中执行代码?
- 26. Python代码不能执行代码
- 27. 代码行为的说明
- 28. 在执行下一行代码之前是否会执行一行代码?
- 29. 确保证明代码有缺陷?
- 30. 是我的代码SQL注入证明?
只是想清楚一些事情:你想让它显示它是否在历史中运行,或者你想在将来检查它吗? – Dave 2014-10-01 11:23:44
该流程是否具有可识别/可审计的输出? – 2014-10-01 11:56:50
这个问题似乎是无关紧要的,因为它不是关于编程。 – 2014-10-01 18:56:19