Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-04-18
2011-12-06
Zhen, Li (Department: 2197)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S124000
Reexamination Certificate
active
08074205
ABSTRACT:
A binary is received at a binary verification service from a binary verification client agent. The binary verification service performs binary verification of the binary, wherein binary verification includes determining whether the binary is complicit with a set of usage rules. The binary verification service sends a binary verification result to the binary verification client agent.
REFERENCES:
patent: 5313616 (1994-05-01), Cline et al.
patent: 6035107 (2000-03-01), Kuehlmann et al.
patent: 6317868 (2001-11-01), Grimm et al.
patent: 6763517 (2004-07-01), Hines
patent: 6862696 (2005-03-01), Voas et al.
patent: 7062650 (2006-06-01), Robbins et al.
patent: 7089552 (2006-08-01), Attalah
patent: 7111307 (2006-09-01), Wang
patent: 7150008 (2006-12-01), Cwalina et al.
patent: 7231635 (2007-06-01), Schwabe
patent: 7487545 (2009-02-01), Hall et al.
patent: 7814465 (2010-10-01), Liu
patent: 2001/0037438 (2001-11-01), Mathis
patent: 2004/0083464 (2004-04-01), Cwalina et al.
patent: 2005/0251857 (2005-11-01), Schunter et al.
patent: 2006/0052886 (2006-03-01), Lydon et al.
patent: 2006/0100010 (2006-05-01), Gatto et al.
patent: 2006/0236114 (2006-10-01), Yamamoto et al.
patent: 2007/0266373 (2007-11-01), Liu
patent: 2008/0168477 (2008-07-01), Flegg et al.
patent: 2008/0258865 (2008-10-01), Shastry et al.
Microsoft Corporation “Driver Verifier in Windows Vista”, Oct. 26, 2006.
Michael F. Spear et al. “Solving the Starting Problem: Device Drivers as Self-Describing Artifacts”, EuroSys 2006, Apr. 18-21, 2006, Belgium, © 2006 ACM.
Sagar Chaki “From Finding Bugs to Certifying their Absence”, Sep. 21 , 2006.
Thomas Ball et al. “The Slam Project: Debugging System Software via Static Analysis”, POPL '02, Jan. 16-18, 2002 Portland, OR, USA, © 2002 ACM.
Thomas Ball et al. “Thorough Static Analysis of Device Drivers”, EuroSys 2006, Apr. 18-21, 2006, Belgium, © 2006 ACM.
Thomas Ball et al. “SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft”, Technical Report MSR-TR-2004-08, Jan. 28, 2004.
Microsoft Corporation “Introducing Static Driver Verifier n Windows Vista”, May 5, 2006.
International Search Report from the Korean Intellectual Property Office regarding PCT/US2008/056542 dated Jun. 26, 2008, 12 pages.
Office Action from the Patent Office of the State Intellectual Property Office of the People's Republic of China regarding Application No. 200880012516.0 dated May 25, 2011.
Bendapudi Perraju
Ganapathy Narayanan
Levin Vladimir A.
Shastry Shankara M. C.
Lee Marina
Microsoft Corporation
Zhen Li
LandOfFree
Binary verification service does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Binary verification service, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Binary verification service will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4271129