Algebra and Logic for Policy and Utility in Information Security
Lead Research Organisation:
University of Bath
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Publications
Anderson G
(2016)
Decision and Game Theory for Security
Baskent C
(2015)
Some non-classical approaches to the Brandenburger-Keisler paradox
in Logic Journal of IGPL
Baskent C
(2017)
Rohit Parikh on Logic, Language and Society
Baskent C
(2016)
Towards Paraconsistent Inquiry
in The Australasian Journal of Logic
Baskent C
(2016)
A Yabloesque paradox in epistemic game theory
in Synthese
Baskent C
(2015)
Logic, Rationality, and Interaction
Baskent C
(2019)
A History Based Logic for Dynamic Preference Updates
in Journal of Logic, Language and Information
Baskent C
(2016)
Game theoretical semantics for some non-classical logics
in Journal of Applied Non-Classical Logics
Dendir S
(2022)
Race, ethnicity and mortality in the United States during the first year of the COVID-19 pandemic: an assessment.
in Discover social science and health
| Description | We have discovered a way to use logic to reason about the changing behaviour of agents operating under security policies which impact their ability to do what they regard as constructive work. We proposed a logical system to analyse the "compliance budget" embodying these ideas. We have developed the underlying logic which describes agents' preferences over the sequences of actions they may engage in, and proposed several directions for its integration with other logical formalisms. |
| Exploitation Route | The range and scope of the application of our logical approach to the analysis of decision making should be developed further. |
| Sectors | Digital/Communication/Information Technologies (including Software),Security and Diplomacy |
| Description | This award was part of a multi-site project, the main award being EP/K033042/1. The following impact description covers the whole project. The research carried out in this project led to several papers in major journals --- Journal of Logic and Computation, Theoretical Computer Science, Logic, Language, and Information --- as well as conference venues such as TARK and GameSec. The research has influenced several PhD theses that are now completed or nearing completion: one in security forensics methodology, one in security modelling (co-design) methodology, and one in security economics for cyberinsurance. It is expected also to influence a thesis on privacy economics. The project had some influence National Grid's 'policy domains' security architecture (though this line of research ended when key personnel moved on to new positions). The results of the project had some formative influence on the 'Interface Reasoning for Interacting Systems (IRIS)' programme grant at UCL funded by EPSRC. Currently, it is expected that the work carried out in the project will have some influence on a substantial article on modelling for policy in distributed systems that is to be submitted to the journal Philosophy & Technology. This current work is likely to adumbrate a new grant proposal. Two early-career researchers who were employed by the project have gone to to substantive careers: one as a faculty member at a UK university and one at Google. |
| First Year Of Impact | 2018 |
| Sector | Digital/Communication/Information Technologies (including Software),Education,Security and Diplomacy |
| Impact Types | Societal,Economic |