Negotiation trust rule logic property analyzing and processing method
A technology of analysis, processing and negotiating parties, applied in the field of communication, can solve the problems of trust rule analysis, lack of theoretical basis and in-depth research, mutual relationship of trust rules, and poor use of logical properties, etc., to protect privacy and solve problems The effect of building trust
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0017] In order to make the content of the present invention clearer and easier to understand, the content of the present invention will be described in detail below in conjunction with specific embodiments and accompanying drawings.
[0018] For ease of understanding, the following first introduces the basic grammatical structure of the logical description of trust rules.
[0019] The syntax symbols involved in trust rules are:
[0020] Propositional variables: s,c 1 ,c 2 ,...,c n , where s represents the corresponding resource, and c i Indicates a certificate. Especially sometimes s can also be regarded as a certificate.
[0021] Propositional constants: true, false, respectively indicating that the certificate can be disclosed unconditionally or never.
[0022] Connectives in the body of the rule: ∧, ∨, Represents a logical AND, OR, and inverse operation between certificate variables.
[0023] Left and right brackets: (,).
[0024] Dependent operation symbols of r...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More 