Security analysis of private data enquiries in Erlang
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488 and Kammueller, Reiner
(2009)
Security analysis of private data enquiries in Erlang.
International Journal on Advances in Security, 2
(2&3)
.
pp. 242-255.
ISSN 1942-2636
[Article]
|
PDF
- Final accepted version (with author's formatting)
Download (243kB) | Preview |
Abstract
Privacy is an issue of increasing concern to the Inter- net user. To ensure the continued success of distributed information systems, a reliable information flow must be established in certified but immediately evident ways. We begin with basic consideration of the privacy problem in the general setting of database enquiries. From there, we develop a simple solution, which we illustrate with a simple implementation in the programming language Erlang. We first provide an informal security analysis that is then developed into a formal definition of a type system for noninterference.
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > Artificial Intelligence group |
| Item ID: | 6848 |
| Notes on copyright: | With thanks to publishers for allowing free access. |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 18 Jan 2011 15:26 |
| Last Modified: | 30 Nov 2022 01:33 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6848 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)