Journal article icon

Journal article

Specifying and Modelling Secure Channels in Strand Spaces

Actions


Authors


Allaa Kamil More by this author
Gavin Lowe More by this author
Journal:
Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)
Publication date:
2009
URN:
uuid:fe189301-8320-4943-9770-f7351e96ef0b
Local pid:
cs:3343

Terms of use


Metrics



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

TO TOP