Marco Rocchetto's website
CPDY: Cyber Physical Dolev Yao
CPDY (Cyber Physical Dolev Yao) is an extensions to the Dolev-Yao attacker
model to make it suitable for arguments about security of Cyber-Physical
Systems
Download CPDY
Download Publication
Download VM (VirtualBox) with CPDY
- Download and install VirtualBox
- Download the VM from here
- Import the VM in VirtualBox (howto)
- Username and Password: cpdy
- Instructions are provided when a terminal is opened
Troubleshooting - VirtualBox Virtualization Error
- Problem: VT-x/AMD-V hardware acceleration is not available on your system. Your 64-vit guest will fail to detect a 64-bit CPU and will not be able to boot.
- Solution: Enable CPU virtualization support (called VT-x for Intel, AMD-V for AMD) from your BIOS