Pages that link to "Item:Q4989024"
From MaRDI portal
The following pages link to Towards an Integrated Formal Analysis for Security and Trust (Q4989024):
Displaying 10 items.
- Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) (← links)
- 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)
- Analysis of dynamic policies (Q2482441) (← links)
- Believing the integrity of a system (invited talk) (Q2848028) (← links)
- A uniform framework for security and trust modeling and analysis with crypto-CCS (Q2866730) (← links)
- Analysis, comparison and design of role-based security specifications (Q4332013) (← links)
- Trust Management (Q5307981) (← links)
- Trust Management (Q5307998) (← links)
- Trust Management (Q5308001) (← links)
- A Formal Derivation of Composite Trust (Q5327311) (← links)