OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations.

Pengcheng Jiang Kenji Tei

Published in: CoRR (2021)

Keyphrases

user interface
expert systems
relevance feedback
distributed systems
user authentication
information retrieval
mobile devices
user interaction
information security
human users
recommendation systems
reactive systems