MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Process Algebra and Non-Interference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Process Algebra and Non-interference
by P.Y.A. Ryan, S.A. Schneider — 1999 — Journal of Computer Security
…Process Algebra and Non-interference P Y A Ryan Defence Evaluation and Research Agency St Andrews…
Cited by 68 (0 self) – Add To MetaCart

Process Algebra and Non-interference
by Ryan Defence Evaluation, P Y A Ryan — 1999 — Journal of Computer Security
…Process Algebra and Non-interference P Y A Ryan Defence Evaluation and Research Agency St Andrews…
Add To MetaCart

Full Presentations Believing the Integrity of a System...................................... 3
by Ro Arm, Luca Viganò (chairs, Massimo Benerecetti, Maria Grazia Buscemi, Carlos Caleiro, Alessandro Armando, Luca Viganò, Simon Foley
… of Computer Security, 4(1), 1995. [29] P.Y.A. Ryan and S.A. Schneider. Process algebra and non-interference…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB