- 程序有所改变。发帖如还有问题请报告
- 【征集】西西河的经济学，及清流措施，需要主动参与者，『稷下学宫』新认证方式，24年网站打算和努力目标
主题：【原创】如果软件商要承担赔偿责任 -- 冰与火
共:💬11 🌺17 新:
安全功能集合的基本想法很简单:
假设把软件看作一个具有大量状态,随着不同输入而变化状态的自动状态机,其中的一个子状态集合和输入集合构成了一个闭包,就是如果系统初始状态在这个子状态集合中,任意一个属于该输入集合的输入执行后,系统的下一个状态仍在这个子状态集合中,那么只要我们确定了该闭包是可信的,那么只要保证初态属于该子状态集合,输入属于该输入集合,则软件在运行过程中总是可信的,即使软件其他地方满是Bug.
至于如何确保初态和输入符合要求,那就是可信计算所研究的内容了,不过,是"我的可信计算"所研究的内容,不是TCG的.
- 相关回复 上下关系8
🙂【原创】如果软件商要承担赔偿责任 3 冰与火 字2600 2007-06-17 18:51:12
🙂医生能保治百病吗? 1 运动神经元 字262 2007-06-21 14:13:28
🙂对您的“可信计算”很感兴趣，能不能详细介绍一下？ 2 看看 字1667 2007-06-17 19:55:49
🙂送个花,再简单说一下安全功能集合的想法
🙂啊，听起来和净室软件工程的理论基础很像啊 1 看看 字102 2007-06-17 21:04:57
🙂看到这样一段论述 1 冰与火 字122 2007-06-17 21:49:31
🙂已经有这方面的研究了? 1 冰与火 字239 2007-06-17 21:27:29
🙂期盼见到您的大作。 1 看看 字410 2007-06-17 21:53:11