Bi-simulation in security auditing

Bi-simulation has been an important topic in Computer Science (e.g. intensely studied for process calculi) which may be applicable to an important emerging issue for computer engineering, namely security auditing.

See bottom of page 3 of Distributed Public Recording: Providing Security Without the Risks of Mandatory Backdoors

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Bisimulation for higher-order process calculi

Davide Sangiorgi published an interesting article:
Bisimulation for higher-order process calculi

Making bi-simulation work for security auditing is obviously going to require some heavy lifting.

PS. Also see On Context Bisimulation for Parameterized Higher-order Processes.