On the decidability of cryptographic protocols with open-ended data structures.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 49, doi. 10.1007/s10207-004-0050-z
- By:
- Publication type:
- Article
Works matching IS 16155262 AND DT 2005 AND VI 4 AND IP 1/2
Results: 9
1
2
Edit automata: enforcement mechanisms for run-time security policies.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 2, doi. 10.1007/s10207-004-0046-8
- By:
- Publication type:
- Article
3
Static use-based object confinement.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 87, doi. 10.1007/s10207-004-0049-5
- By:
- Publication type:
- Article
4
Rigorous automated network security management.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 29, doi. 10.1007/s10207-004-0052-x
- By:
- Publication type:
- Article
5
On the sequence of authorization policy transformations.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 120, doi. 10.1007/s10207-004-0069-1
- By:
- Publication type:
- Article
6
An overview of the verification of SET.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 17, doi. 10.1007/s10207-004-0047-7
- By:
- Publication type:
- Article
7
Game strategies in network security.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 71, doi. 10.1007/s10207-004-0060-x
- By:
- Publication type:
- Article
8
Detection of file-based race conditions.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 105, doi. 10.1007/s10207-004-0068-2
- By:
- Publication type:
- Article
9
Preface to the special issue of selected papers from FCS/VERIFY 2002.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 1/2, p. 1, doi. 10.1007/s10207-004-0053-9
- By:
- Publication type:
- Article