Digital Systems Research Center / Royal Society of London / National Science Foundation / Center for High Assurance Computer Systems Naval Research Laboratory Washington / Royal Society / 1st International School on Foundations of Security Analysis and Design / /
Person
Bob / Alice / Ina Jo / /
Position
spy / first author / representative / second author / /