Statically assuring secrecy for dynamic concurrent processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rachid Echahed, Frédéric Prost, Wendelin Serwe. Statically assuring secrecy for dynamic concurrent processes. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 91-101, ACM, 2003. [doi]

Identified as Rachid Echahed This author has not been identified. Look up 'Frédéric Prost' in GoogleThis author has not been identified. Look up 'Wendelin Serwe' in Google

runs on WebDSL