Sciweavers

IFIP
2009
Springer
13 years 9 months ago
On the Automated Correction of Protocols with Improper Message Encoding
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
Dieter Hutter, Raul Monroy
IFIP
2009
Springer
13 years 9 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
13 years 9 months ago
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...
Liqun Chen, Mark Ryan
IFIP
2009
Springer
13 years 9 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
14 years 4 months ago
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
Zbigniew Paszkiewicz, Willy Picard
IFIP
2009
Springer
14 years 4 months ago
Extracting and Utilizing Social Networks from Log Files of Shared Workspaces
Peyman Nasirifard, Vassilios Peristeras, Conor Hay...
IFIP
2009
Springer
14 years 4 months ago
Managing Decisions on Changes in the Virtual Enterprise Evolution
Marcus Vinicius Drissen-Silva, Ricardo J. Rabelo
IFIP
2009
Springer
14 years 4 months ago
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...
Zbigniew Paszkiewicz, Willy Picard
IFIP
2009
Springer
14 years 4 months ago
New Organizational Forms to Extend the Professional Active Life
A major challenge in effective active ageing support is to identify/design new organizational structures, approaches, and mechanisms so that on one hand older people do not feel ex...
Antonio del Cura, Luis M. Camarinha-Matos, Filipa ...
IFIP
2009
Springer
14 years 4 months ago
A Well-Conceived Vision for Extending Professional Life of Seniors
Hamideh Afsarmanesh, Luis M. Camarinha-Matos, Simo...