Secure Information Flow as Typed Process Behaviour

AuthID
P-00G-WQ8
3
Author(s)
Honda, K
·
Yoshida, N
1
Editor(s)
Smolka G.
Document Type
Proceedings Paper
Year published
2000
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 1782, Pages: 180-199
Conference
9Th European Symposium on Programming, Esop 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Date: 25 March 2000 through 2 April 2000, Sponsors: European Association for Programming Languages and Systems;European Association for Software Development Science;European Association for Theoretical Computer Science;Institute for Communication and Software Technology of TU Berlin
Indexing
Publication Identifiers
Scopus: 2-s2.0-84947269249
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.