Policy Model

Policy Model

The policy model captures the verifier request and holder-side constraints.

Policy tuple

The implementation represents a verifier policy as:

P = (A_R, A_H, Φ, L, R, τ, d, κ, λ)

Where:

Symbol	Meaning
A_R	revealed attributes
A_H	hidden attributes
Φ	predicate set
L	unlinkability requirement
R	resource budget
τ	nonce / freshness token
d	verifier domain
κ	issuer or public-material binding
λ	privacy-level requirement

Config files

Policy examples are stored in:

configs/policies/

Device profiles are stored in:

configs/devices/

Policy classes included

• P1: simple selective disclosure.
• P2: unlinkable selective disclosure.
• P3: credential-backed predicate.
• P4: predicate with hidden attributes.
• P5: unsupported or resource-exceeding request.