619 search results - page 57 / 124 » IFIP |
92
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We analyse the C anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Und...
109
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
107
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
98
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Protecting national critical infrastructure assets from cyber incidents is an important challenge. One facet of this challenge is that the vast majority of the owners and operators...
97
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...