A verified encrypted packet interface
Autor: | Benedetto L. DiVito, Donald I. Good, Michael K. Smith, Ann E. Siebert |
---|---|
Rok vydání: | 1981 |
Předmět: | |
Zdroj: | ACM SIGSOFT Software Engineering Notes. 6:13-16 |
ISSN: | 0163-5948 |
DOI: | 10.1145/1010832.1010838 |
Databáze: | OpenAIRE |
Externí odkaz: |