2014
DOI: 10.1007/978-3-642-54792-8_2
View full text
|
|
Share

Abstract: Abstract.We extend the applied pi calculus with state cells, which are used to reason about protocols that store persistent information. Examples are protocols involving databases or hardware modules with internal state. We distinguish between private state cells, which are not available to the attacker, and public state cells, which arise when a private state cell is compromised by the attacker. For processes involving only private state cells we define observational equivalence and labelled bisimilarity in …

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
6
0
1

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals