Patents by Inventor Yiding Jia
Yiding Jia has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 10140469Abstract: In one embodiment, a method includes receiving a request for an object; retrieving one or more rules to evaluate whether to allow or deny access to the object, wherein a first rule is of an allow-type or a deny-type; evaluating the first rule by executing one or more of its operations, wherein when any of the executed operations of the first rule returns a result that is not definitive, if the first rule is of the allow-type, assigning a final result as an indication to skip evaluation of the rule, and if the rule is of the deny-type, assigning the final result to the first rule as an indication to deny access to the object; determining final results for the one or more rules; and based on the final results, allowing or denying access to the object.Type: GrantFiled: March 5, 2018Date of Patent: November 27, 2018Assignee: Facebook, Inc.Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Patent number: 10140473Abstract: In one embodiment, a method includes storing code defining access control rules for an object, the code defining each of the access control rules as a set of operations that each returns (1) when resolved, a predetermined result, and (2) when not resolved, a not definitive result indicating that it should be skipped if it is not necessary for determining the access control rule; compiling the code; compiling and loading the code; receiving a query for the object; executing the code to evaluate the corresponding operations; determining, for each access control rule, a rule-result comprising a value representing a true or a false value; determining a final result based on the one or more rule-results of the one or more access control rules, the final result indicating an allow-result or a deny-result; and sending the object when the final result evaluates to an allow-result.Type: GrantFiled: April 24, 2017Date of Patent: November 27, 2018Assignee: Facebook, Inc.Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Publication number: 20180196957Abstract: In one embodiment, a method includes receiving a request for an object; retrieving one or more rules to evaluate whether to allow or deny access to the object, wherein a first rule is of an allow-type or a deny-type; evaluating the first rule by executing one or more of its operations, wherein when any of the executed operations of the first rule returns a result that is not definitive, if the first rule is of the allow-type, assigning a final result as an indication to skip evaluation of the rule, and if the rule is of the deny-type, assigning the final result to the first rule as an indication to deny access to the object; determining final results for the one or more rules; and based on the final results, allowing or denying access to the object.Type: ApplicationFiled: March 5, 2018Publication date: July 12, 2018Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Patent number: 9996704Abstract: 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.Type: GrantFiled: March 5, 2015Date of Patent: June 12, 2018Assignee: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Patent number: 9934403Abstract: In one embodiment, a storage and privacy system stores and manages information associated with users and ensures and enforces access-control rules specified for the stored information.Type: GrantFiled: August 8, 2016Date of Patent: April 3, 2018Assignee: Facebook, Inc.Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Publication number: 20170228560Abstract: In one embodiment, a method includes storing code defining access control rules for an object, the code defining each of the access control rules as a set of operations that each returns (1) when resolved, a predetermined result, and (2) when not resolved, a not definitive result indicating that it should be skipped if it is not necessary for determining the access control rule; compiling the code; compiling and loading the code; receiving a query for the object; executing the code to evaluate the corresponding operations; determining, for each access control rule, a rule-result comprising a value representing a true or a false value; determining a final result based on the one or more rule-results of the one or more access control rules, the final result indicating an allow-result or a deny-result; and sending the object when the final result evaluates to an allow-result.Type: ApplicationFiled: April 24, 2017Publication date: August 10, 2017Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Patent number: 9665393Abstract: In one embodiment, a storage and privacy system stores and manages information associated with users and ensures and enforces access-control rules specified for the stored information.Type: GrantFiled: April 17, 2012Date of Patent: May 30, 2017Assignee: Facebook, Inc.Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Publication number: 20160342808Abstract: In one embodiment, a storage and privacy system stores and manages information associated with users and ensures and enforces access-control rules specified for the stored information.Type: ApplicationFiled: August 8, 2016Publication date: November 24, 2016Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Patent number: 9411671Abstract: In one embodiment, a storage and privacy system stores and manages information associated with users and ensures and enforces access-control rules specified for the stored information.Type: GrantFiled: April 17, 2012Date of Patent: August 9, 2016Assignee: Facebook, Inc.Inventors: Robert Carlton Johnson, Stephen Charles Heise, Yiding Jia
-
Publication number: 20150310225Abstract: 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.Type: ApplicationFiled: March 5, 2015Publication date: October 29, 2015Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Patent number: 9009780Abstract: 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.Type: GrantFiled: March 15, 2013Date of Patent: April 14, 2015Assignee: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia
-
Publication number: 20140282837Abstract: 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.Type: ApplicationFiled: March 15, 2013Publication date: September 18, 2014Applicant: Facebook, Inc.Inventors: Stephen Charles Heise, Jean Yang, Dwayne Reeves, Yiding Jia