Secure Information Flow as Typed Process Behaviour

AuthID
P-00G-WQ8
3
Author(s)
Honda, K
·
Yoshida, N
1
Editor(es)
Smolka G.
Tipo de Documento
Proceedings Paper
Year published
2000
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 1782, Páginas: 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, Patrocinadores: 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
Info
At this moment we don't have any links to full text documens.