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 language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Pages | 418-437 |
Number of pages | 20 |
Publication status | Published - 1 Dec 2005 |
Externally published | Yes |
Event | European Symposium On Research In Computer Security 2005 - Milan, Italy Duration: 12 Sep 2005 → 14 Sep 2005 Conference number: 10th https://link.springer.com/book/10.1007/11555827 (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 3679 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | European Symposium On Research In Computer Security 2005 |
---|---|
Abbreviated title | ESORICS 2005 |
Country/Territory | Italy |
City | Milan |
Period | 12/09/05 → 14/09/05 |
Internet address |
|