Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems
On the security of public key protocols