Formal development of secure Email

Keyphrases

• Specification Design 100%
• Secure Email 100%
• Higher-order Logic 100%
• Design Verification 50%
• Design Properties 50%
• Category Theory 50%
• Secure Electronics 50%
• Specification Property 50%
• Sender 50%
• Logical Theory 50%
• System Requirements Specification 50%
• Formal Synthesis 50%
• Email Protocol 50%
• System Development 50%

Computer Science

• high-order logic 100%
• Design Specification 50%
• Requirement Specification 50%
• Design Verification 50%