发明授权
- 专利标题: Method and apparatus to vet an executable program using a model
- 专利标题(中): 使用模型检查可执行程序的方法和装置
-
申请号: US12416657申请日: 2009-04-01
-
公开(公告)号: US08484625B2公开(公告)日: 2013-07-09
- 发明人: Dipikalyan Saha , Morris A. Moore , Subir Saha
- 申请人: Dipikalyan Saha , Morris A. Moore , Subir Saha
- 申请人地址: US IL Libertyville
- 专利权人: Motorola Mobility LLC
- 当前专利权人: Motorola Mobility LLC
- 当前专利权人地址: US IL Libertyville
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
A network infrastructure element (300) can be configured to, upon determining (101) that an end-user platform (305) seeks to download an executable program, execute (103) the program to develop a corresponding model that represents corresponding operating system call-based behavior. The network infrastructure element can then use (104) this model to vet the operating system call-based behavior of the program with respect to end-user platform policies. When the operating system call-based behavior vets acceptably with respect to these policies, the end-user platform can then be permitted to download (106) the executable program. If desired, the network infrastructure element can provide (107) the model to the end-user platform to permit vetting of the modeled behavior with respect to locally-maintained policies. The model provided to the end-user platform can comprise a size-reduced sliced model.
公开/授权文献
信息查询