公开(公告)号：US07457832B2

公开(公告)日：2008-11-25

申请号：US10931075

申请日：2004-08-31

申请人： Justin Baird ,  Sander B. Bogdan ,  Jeffrey E. Reed ,  James M. Stone ,  Guang-an Wu ,  David E. Sceppa

发明人： Justin Baird ,  Sander B. Bogdan ,  Jeffrey E. Reed ,  James M. Stone ,  Guang-an Wu ,  David E. Sceppa

IPC分类号： G06F12/00 ,  G06F17/30 ,  G06F9/44 ,  G06F9/45 ,  H04K1/00

CPC分类号： G06F21/62 ,  G06F21/566 ,  G06Q20/401 ,  Y10S707/99954

摘要： Verifying dynamically generated operations on a data store includes carrying out setup actions for access to the data store, the setup actions being based at least in part on a request for which the dynamically generated operations will be generated. The carrying out of setup actions includes permissions being set for portions of the data store to establish a restricted portion of the data store and an unrestricted portion of the data store, as well as using one or more additional techniques to check whether any unexpected changes were made to the unrestricted portion or to lock access to parts of the unrestricted portion. After the dynamically generated operations are performed, a verification is made that no unexpected work was performed by the dynamically generated operations. If unexpected work was performed then the operations are determined to be not correct for the request.

摘要翻译： 验证数据存储上的动态生成的操作包括执行用于访问数据存储器的建立动作，所述建立动作至少部分地基于将生成动态生成的操作的请求。 设置操作的执行包括为数据存储的部分设置的许可，以建立数据存储的受限部分和数据存储的不受限制的部分，以及使用一个或多个附加技术来检查是否有意外的变化是 制造到不受限制的部分或锁定对不受限制部分的部分的访问。 在执行动态生成的操作之后，验证动态生成的操作不执行意外的工作。 如果执行了意外的工作，则确定操作对于请求是不正确的。