Integrated specification and verification of security protocols and policies - Research Collection

Metadata only

Author

Torabi Dashti, Mohammad

Date

2011

Type

Conference Paper

Citations

Cited 3 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1109/CSF.2011.9

Book title

IEEE 24th Computer Security Foundations Symposium (CSF), 2011 : 27 - 29 June 2011, Cernay-la-Ville, France ; proceedings

Pages / Article No.

18 - 32

Publisher

IEEE

Event

24th IEEE Computer Security Foundations Symposium (CSF), Cernay-la-Ville, France, June 27-29, 2011

Subject

Access control; Decidability; Formal methods; Security protocols; Trust management

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited 3 times in Web of Science

ETH Bibliography

yes

Altmetrics