Specifying Privacy-Preserving Protocols in Typed MSR

Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas. Specifying Privacy-Preserving Protocols in Typed MSR. Computer Standards & Interfaces, 27(5):501-512, 2005. [doi]

Authors

Theodoros Balopoulos

This author has not been identified. Look up 'Theodoros Balopoulos' in Google

Stefanos Gritzalis

This author has not been identified. Look up 'Stefanos Gritzalis' in Google

Sokratis K. Katsikas

This author has not been identified. Look up 'Sokratis K. Katsikas' in Google