Specifying and verifying secrecy in workflows with arbitrarily many agents

Keyphrases

• Information Flow Policy 100%
• First-order 50%
• Web-based 50%
• Information Flow 50%
• Confidential Information 50%
• Workflow Management System 50%
• Specification Language 50%
• Number of Participants 50%
• Model Checking Techniques 50%
• Bounded Model Checking 50%
• Amazon 50%
• Satisfiability Problem 50%
• First-order Formula 50%
• Health Data 50%
• EBay 50%
• HyperLTL 50%
• Credit Card Number 50%

Computer Science

• Workflow Management System 100%
• Specification Language 100%
• Model Checking 100%
• Checking Technique 100%
• Satisfiability Problem 100%
• Credit Card Number 100%
• Confidential Information 100%