Pages that link to "Item:Q3092169"
From MaRDI portal
The following pages link to Foundations of Security Analysis and Design VI (Q3092169):
Displayed 9 items.
- Protecting Privacy in Data Release (Q3092170) (← links)
- An Introduction to Security API Analysis (Q3092171) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Model-Driven Development of Security-Aware GUIs for Data-Centric Applications (Q3092178) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach (Q3092182) (← links)
- The Geometry of Lattice Cryptography (Q3092183) (← links)
- Quantitative Information Flow and Applications to Differential Privacy (Q3092184) (← links)
- Risk Analysis of Changing and Evolving Systems Using CORAS (Q3092187) (← links)