Eintrag weiter verarbeiten
The Security Picalculus and Non-interference (Extended Abstract)
Gespeichert in:
Zeitschriftentitel: | Electronic Notes in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Notes in Theoretical Computer Science, 83, 2003, S. 113-129 |
Medientyp: | E-Article |
Sprache: | Portugiesisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |