Journal article
A derivation system and compositional logic for security protocols
Actions
Authors
- Journal:
- J. of Comp. Security More from this journal
- Volume:
- 13
- Pages:
- 423-482
- Publication date:
- 2005-01-01
- UUID:
-
uuid:334d82b4-a027-4ccf-98bc-c7a7797cfa85
- Local pid:
-
cs:627
- Deposit date:
-
2015-03-31
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record