Pages that link to "Item:Q2866730"
From MaRDI portal
The following pages link to A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Q2866730):
Displayed 3 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Q692280) (← links)
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Q2866730) (← links)