VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
accidental	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
Android permissions	Using Statistical Information to Communicate Android Permission Risks to Users
app functionality	Using Statistical Information to Communicate Android Permission Risks to Users
authentication	What You Enter Is What You Sign: input integrity in an online banking environment
B
benign	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
C
case studies	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
H
Human Factors	The Social Engineering Personality Framework
I
insider threat	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat The Social Engineering Personality Framework
Insider Threats	Modeling Human Behaviour with Higher Order Logic: Insider Threats
interactive theorem proving	Modeling Human Behaviour with Higher Order Logic: Insider Threats
O
online banking	What You Enter Is What You Sign: input integrity in an online banking environment
P
padlock	Decision justifications for wireless network selection
Personality Traits	The Social Engineering Personality Framework
R
risk	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
risk communication	Using Statistical Information to Communicate Android Permission Risks to Users
S
Security	Modeling Human Behaviour with Higher Order Logic: Insider Threats Decision justifications for wireless network selection
Security Awareness	The Social Engineering Personality Framework
Security Ceremonies	Modelling User Devices in Security Ceremonies
security policy	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
security protocols	Modelling User Devices in Security Ceremonies
Social Engineering	The Social Engineering Personality Framework
Socio-Technical Security	The Social Engineering Personality Framework
statistical information	Using Statistical Information to Communicate Android Permission Risks to Users
T
Threat models	Modelling User Devices in Security Ceremonies
transaction	What You Enter Is What You Sign: input integrity in an online banking environment
U
unintentional	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat
Usability	Decision justifications for wireless network selection
user perception	Decision justifications for wireless network selection
Users	Using Statistical Information to Communicate Android Permission Risks to Users

Disclaimer | Powered by EasyChair Smart Program