Pages that link to "Item:Q2389890"
From MaRDI portal
The following pages link to A formal apparatus for modeling trust in computing environments (Q2389890):
Displaying 7 items.
- Formal aspects in security and trust. IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), world computer congress, August 22--27, 2004, Toulouse, France. (Q1773885) (← links)
- (Q4412960) (← links)
- Towards an Integrated Formal Analysis for Security and Trust (Q4989024) (← links)
- Trust Management (Q5307976) (← links)
- Trust Management (Q5307998) (← links)
- A Formal Derivation of Composite Trust (Q5327311) (← links)
- Analyzing the Chain of Trust Model Based on Entity Dependence (Q6488006) (← links)