Security Properties in Virtual Organizations.

Khalifa Toumi César Andrés Ana R. Cavalli

Published in: HPCC/EUC (2013)

Keyphrases

security properties
virtual organization
formal model
security requirements
security analysis
security protocols
business process
distributed computing
cryptographic protocols
agent model
conceptual framework
formal methods
information systems
computer systems
information security