公开(公告)号：US20150310225A1

公开(公告)日：2015-10-29

申请号：US14639329

申请日：2015-03-05

Applicant: Facebook, Inc.

Inventor： Stephen Charles Heise ,  Jean Yang ,  Dwayne Reeves ,  Yiding Jia

IPC: G06F21/62

CPC classification number: G06F21/6227 ,  G06F21/6245 ,  G06F2221/2101 ,  H04L63/102

Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.

Abstract translation: 通过控制对用户数据的访问来保护用户的隐私的系统和方法。 特别地，一些实施例提供了用于表达可以使用计算机辅助验证工具来验证的隐私策略的更高级别的声明性语言。 验证工具在验证过程中使用所表达的隐私策略以及语言级假设和断言。 例如，基于一组断言，隐私策略的高级模型可以减少到更简单的验证表示（例如，布尔表示）。 然后，该验证表示可以被提交给约束求解器（例如，可满足性模数理论解算器）以进行验证。

公开(公告)号：US09922123B2

公开(公告)日：2018-03-20

申请号：US14152109

申请日：2014-01-10

Applicant: Facebook, Inc.

Inventor： Raylene Yung ,  Maria S. Pimenova ,  Daniel Schafer ,  Dwayne Reeves ,  Wendy Mu ,  Kendall Hopkins

IPC: G06F9/45 ,  G06F11/34 ,  G06F17/30 ,  G06Q50/00

CPC classification number: G06F17/30867 ,  G06F8/443 ,  G06F11/3404 ,  G06Q50/01

Abstract: Technology for optimizing policy evaluation is disclosed. A policy may include an ordered rule set. When evaluated, the highest priority rule in the order that does not skip may control the outcome of the policy. Rules within a policy may have associated costs and an associated probability of not skipping. The rules of a policy may not need to be executed in a particular order for a system to determine the correct evaluation of the policy and groups of rules, or “batches,” may be run simultaneously. Technology is disclosed to optimize policy evaluation by creating batches and orderings of those batches which have a lower expected cost than other ordered sets of batches. The expected cost for each ordered set of batches may be calculated based on: rule costs, probabilities associated with one or more rules, the organization of the rules into batches, and the ordering of batches within sets.

公开(公告)号：US20150200816A1

公开(公告)日：2015-07-16

申请号：US14152109

申请日：2014-01-10

Applicant: Facebook, Inc.

Inventor： Raylene Yung ,  Maria S. Pimenova ,  Daniel Schafer ,  Dwayne Reeves ,  Wendy Mu ,  Kendall Hopkins

IPC: H04L12/24

CPC classification number: G06F17/30867 ,  G06F8/443 ,  G06F11/3404 ,  G06Q50/01

Abstract: Technology for optimizing policy evaluation is disclosed. A policy may include an ordered rule set. When evaluated, the highest priority rule in the order that does not skip may control the outcome of the policy. Rules within a policy may have associated costs and an associated probability of not skipping. The rules of a policy may not need to be executed in a particular order for a system to determine the correct evaluation of the policy and groups of rules, or “batches,” may be run simultaneously. Technology is disclosed to optimize policy evaluation by creating batches and orderings of those batches which have a lower expected cost than other ordered sets of batches. The expected cost for each ordered set of batches may be calculated based on: rule costs, probabilities associated with one or more rules, the organization of the rules into batches, and the ordering of batches within sets.

Abstract translation: 披露了优化政策评估技术。 策略可以包括有序规则集。 评估时，不跳过的顺序中的最高优先级规则可以控制策略的结果。 策略中的规则可能具有相关联的成本和相关联的不跳过的概率。 策略的规则可能不需要按照特定顺序执行，以便系统确定策略和规则组的正确评估，或者“批次”可以同时运行。 披露技术来优化政策评估，通过创建具有比其他有序批次的成本更低的预期成本的批次和订单。 每个有序批次的预期成本可以基于：规则成本，与一个或多个规则相关联的概率，批次中的规则组织以及集合中批次的顺序来计算。

公开(公告)号：US09996704B2

公开(公告)日：2018-06-12

申请号：US14639329

申请日：2015-03-05

Applicant: Facebook, Inc.

Inventor： Stephen Charles Heise ,  Jean Yang ,  Dwayne Reeves ,  Yiding Jia

IPC: G06F17/00 ,  H04L29/06 ,  G06F21/62

CPC classification number: G06F21/6227 ,  G06F21/6245 ,  G06F2221/2101 ,  H04L63/102

Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.

公开(公告)号：US09009780B2

公开(公告)日：2015-04-14

申请号：US13842185

申请日：2013-03-15

Applicant: Facebook, Inc.

Inventor： Stephen Charles Heise ,  Jean Yang ,  Dwayne Reeves ,  Yiding Jia

IPC: G06F17/00 ,  H04L29/06 ,  G06F21/62

CPC classification number: G06F21/6227 ,  G06F21/6245 ,  G06F2221/2101 ,  H04L63/102

Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.

Abstract translation: 通过控制对用户数据的访问来保护用户的隐私的系统和方法。 特别地，一些实施例提供了用于表达可以使用计算机辅助验证工具来验证的隐私策略的更高级别的声明性语言。 验证工具在验证过程中使用所表达的隐私策略以及语言级假设和断言。 例如，基于一组断言，隐私策略的高级模型可以减少到更简单的验证表示（例如，布尔表示）。 然后，该验证表示可以被提交给约束求解器（例如，可满足性模数理论解算器）以进行验证。

公开(公告)号：US20140282837A1

公开(公告)日：2014-09-18

申请号：US13842185

申请日：2013-03-15

Applicant: Facebook, Inc.

Inventor： Stephen Charles Heise ,  Jean Yang ,  Dwayne Reeves ,  Yiding Jia

IPC: G06F21/62

CPC classification number: G06F21/6227 ,  G06F21/6245 ,  G06F2221/2101 ,  H04L63/102

Abstract: Systems and methods for protecting the privacy of users by controlling access to the users' data. In particular, some embodiments provide for a higher-level declarative language for expressing privacy policies which can be verified using a computer-aided verification tool. The verification tool uses the expressed privacy policies along with language-level assumptions and assertions in the verification process. For example, high-level models of the privacy policies can be reduced to a simpler verification representation (e.g., a Boolean representation) based on a set of assertions. This verification representation can then be submitted to a constraint solver (e.g., Satisfiability Modulo Theories solver) for verification.

Abstract translation: 通过控制对用户数据的访问来保护用户的隐私的系统和方法。 特别地，一些实施例提供了用于表达可以使用计算机辅助验证工具来验证的隐私策略的更高级别的声明性语言。 验证工具在验证过程中使用所表达的隐私策略以及语言级假设和断言。 例如，基于一组断言，隐私策略的高级模型可以减少到更简单的验证表示（例如，布尔表示）。 然后，该验证表示可以被提交给约束求解器（例如，可满足性模数理论解算器）以进行验证。