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):
Displaying 6 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)
- (Q4412960) (← links)
- Towards an Integrated Formal Analysis for Security and Trust (Q4989024) (← links)
- Trust Management (Q5307998) (← links)