Secure Information Flow as Typed Process Behaviour

AuthID
 P-001-251
3
Author(s)
Honda, K
·
Yoshida, N
1
Editor(es)
Smolka,G
Tipo de Documento
Article
Year published
2000
Publicado
in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1782, Páginas: 180-199 (20)
Conference
Joint European Conference on Theory and Practice of Software (Etaps 2000), Date: MAR 25-APR 02, 2000, Location: BERLIN, GERMANY, Patrocinadores: Inst Communicat & Software Technol TU Berlin, European Assoc Program Languages & Syst, European Assoc Theoret Comp Sci, European Assoc Software Dev Sci
Indexing
Wos®
Dblp®/pt/publications/view/34977
Crossref®
Google Scholar®
Publication Identifiers
DBLP: conf/esop/HondaVY00
Wos: WOS:000171796300012
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service