公开(公告)号：US07975296B2

公开(公告)日：2011-07-05

申请号：US10360572

申请日：2003-02-06

申请人： Larry Apfelbaum ,  Henry Houh ,  Thomas Mayberry ,  George Friedman

发明人： Larry Apfelbaum ,  Henry Houh ,  Thomas Mayberry ,  George Friedman

IPC分类号： G08B23/00 ,  G06F9/00

CPC分类号： G06F21/577 ,  G06F2221/2119 ,  H04L63/14 ,  H04L67/02

摘要： A method of security testing a web application is presented. The method identifies a web application to be tested, determines potential security vulnerabilities of the web application, generates one or more security tests for testing the potential vulnerabilities, and executes the security test on the web application. The results of the security testing are then used to make the web application less vulnerable to security attacks.

摘要翻译： 介绍了Web应用程序的安全测试方法。 该方法识别要测试的Web应用程序，确定Web应用程序的潜在安全漏洞，生成一个或多个用于测试潜在漏洞的安全测试，并对Web应用程序执行安全测试。 然后，使用安全测试的结果使Web应用程序不易受到安全攻击的影响。

公开(公告)号：US06853963B1

公开(公告)日：2005-02-08

申请号：US09318286

申请日：1999-05-25

申请人： Larry Apfelbaum ,  Peter L. Savage ,  Mark Trumpler ,  John D. Doyle ,  Thomas Lynch ,  Ramesh Vaswani

发明人： Larry Apfelbaum ,  Peter L. Savage ,  Mark Trumpler ,  John D. Doyle ,  Thomas Lynch ,  Ramesh Vaswani

IPC分类号： G06F11/36 ,  G06F9/45

CPC分类号： G06F11/3664 ,  G06F11/3604 ,  G06F11/3692

摘要： A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.

摘要翻译： 使用计算机来分析系统的扩展有限状态机模型的方法包括提供图形用户界面，其呈现行表格，在至少一个表行中接收数据，以及确定通过状态和转换的至少一个路径 扩展的有限状态机模型使用表中的至少一行。

公开(公告)号：US06694290B1

公开(公告)日：2004-02-17

申请号：US09318204

申请日：1999-05-25

申请人： Larry Apfelbaum ,  Peter L. Savage ,  Katrin Bell

发明人： Larry Apfelbaum ,  Peter L. Savage ,  Katrin Bell

IPC分类号： G06F945

CPC分类号： G06F11/3664 ,  G06F11/3688

摘要： A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.

摘要翻译： 一种使用计算机来分析系统的扩展有限状态机模型的方法包括：接收至少一个需求表达，确定通过模型的至少一个状态和转换路径，至少基于至少一个评估需求表达式中的至少一个 通过模型确定路径之一，以确定路径是否满足需求表达式，以及基于评估生成报告。