Protecting Privacy in Data Release.-An Introduction to Security API Analysis.-Cryptographic Verification by Typing for a Sample Protocol Implementation.-Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.-On Intransitive Non-interference in Some Models of Concurrency.-A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach.-The Geometry of Lattice Cryptography.-Quantitative Information Flow and Applications to Differential Privacy.-Risk Analysis of Changing and Evolving Systems using CORAS.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata