Model-checking Driven Design of Interactive Systems

INIS

• design 100%
• humans 66%
• security violations 66%
• conferences 33%
• interactions 33%
• computers 33%
• tools 33%
• errors 33%
• vulnerability 33%
• safeguards 33%

Keyphrases

• Non-expert Users 100%
• System Vulnerability 50%
• Computer Components 50%
• Interactive Tool 50%
• User Personality 50%
• User Skills 50%
• Initial System 50%

Computer Science

• Interactive Tool 33%
• Systematic Error 33%