Idea: Enforcing Security Properties by Solving Behavioural Equations.

Eric Rothstein Morris Joachim Posegga

Published in: ESSoS (2016)

Keyphrases

security properties
nonlinear equations
security requirements
formal model
security analysis
security protocols
formal methods
polynomial equations
key agreement
object oriented
cryptographic protocols
expert systems
lightweight