Journal article icon

Journal article

Specifying and Modelling Secure Channels in Strand Spaces

Actions


Authors


Journal:
Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)
Publication date:
2009-01-01
URN:
uuid:fe189301-8320-4943-9770-f7351e96ef0b
Local pid:
cs:3343

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP