Pages that link to "Item:Q2892191"
From MaRDI portal
The following pages link to Secrecy logic: \(\mathcal S\)-secrecy structures (Q2892191):
Displaying 4 items.
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- Flow logic for Dolev–Yao secrecy in cryptographic processes (Q4788309) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- Secrecy Logic: Protoalgebraic S-Secrecy Logics (Q5412170) (← links)