Sciweavers

80 search results - page 5 / 16
» ifip 2009
Sort
View
IFIP
2009
Springer
15 years 8 months ago
Collaborative Capability of Teams in Network Organizations
Sebastian Ulbrich, Heide Troitzsch, Fred van den A...
IFIP
2009
Springer
15 years 1 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
IFIP
2009
Springer
15 years 1 months ago
Game-Based Verification of Multi-Party Contract Signing Protocols
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
IFIP
2009
Springer
15 years 8 months ago
An Algebra for Trust Dilution and Trust Fusion
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
Baptiste Alcalde, Sjouke Mauw
IFIP
2009
Springer
15 years 10 months ago
Analysing the Information Flow Properties of Object-Capability Patterns
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
Toby C. Murray, Gavin Lowe