Outbound authentication for programmable secure coprocessors.
- Published in:
- International Journal of Information Security, 2004, v. 3, n. 1, p. 28, doi. 10.1007/s10207-004-0033-0
- By:
- Publication type:
- Article
Works matching IS 16155262 AND DT 2004 AND VI 3 AND IP 1
Results: 5
1
2
Controlled query evaluation for enforcing confidentiality in complete information systems.
- Published in:
- International Journal of Information Security, 2004, v. 3, n. 1, p. 14, doi. 10.1007/s10207-004-0032-1
- By:
- Publication type:
- Article
3
Computational probabilistic noninterference.
- Published in:
- International Journal of Information Security, 2004, v. 3, n. 1, p. 42, doi. 10.1007/s10207-004-0039-7
- By:
- Publication type:
- Article
4
Analysing a stream authentication protocol using model checking.
- Published in:
- International Journal of Information Security, 2004, v. 3, n. 1, p. 2, doi. 10.1007/s10207-004-0040-1
- By:
- Publication type:
- Article
5
Preface.
- Published in:
- International Journal of Information Security, 2004, v. 3, n. 1, p. 1, doi. 10.1007/s10207-004-0051-y
- By:
- Publication type:
- Article