Titlebook: Engineering Secure Software and Systems; 8th International Sy Juan Caballero,Eric Bodden,Elias Athanasopoulos Conference proceedings 2016 S

amphibian

Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language,mplemented in a tool (CASTOR), can infer semantic mappings with F1 accuracy of 70?% and 78?% for two social networks, Diaspora and Friendica respectively – as compared with a ground truth mapping established through manual examination of the policies and code.

Metastasis

他一致

https://doi.org/10.1007/978-94-017-5962-5system that leverages accelerometer data generated by a mobile device for the purpose of device re-identification. Furthermore, we evaluate the performance of these techniques and assess the viability of embedding such a system as part of existing risk-based authentication processes.

receptors

石墨

CLIFF

Filibuster

Security Testing Beyond Functional Tests,e a system’s desired behavior over its interface. Security requirements, in contrast, specify desired properties of the world the system lives in. We propose the notion of a security rationale, which supports reductive security arguments for deriving a system specification and assumptions on the sys

adipose-tissue

苦澀

難取悅