Static analysis for secrecy and non-interference in networks of processes

C. Bodei, P. Degano, H. Riis Nielson, F. Nielson

TypeConference paper [With referee]
ConferenceProc. PACT'01
Year2001    No. 2127    pp. 27-41
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering