Abstractions preserving parameter confidentiality

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

13 Citations (Scopus)

Abstract

Confidentiality of certain parameters is an essential security requirement for many security sensitive applications. In this paper, conditions for abstractions are formulated in terms of formal language theory to be able to prove parameter confidentiality in an abstract view of a system and then conclude that an adequate representation of the property is satisfied in the refined system as well. These conditions essentially depend on an agent's view as well as on an agent's initial knowledge of the system behaviour, which explicitely formalizes assumptions about the system.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages418-437
Number of pages20
Publication statusPublished - 1 Dec 2005
Externally publishedYes
EventEuropean Symposium On Research In Computer Security 2005 - Milan, Italy
Duration: 12 Sep 200514 Sep 2005
Conference number: 10th
https://link.springer.com/book/10.1007/11555827 (Proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3679 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceEuropean Symposium On Research In Computer Security 2005
Abbreviated titleESORICS 2005
CountryItaly
CityMilan
Period12/09/0514/09/05
Internet address

Cite this