Search results

Articles (5)

Journals (0)

1-5 of 5 results for Formal methods for cryptographic protocols

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2006-2-1

A survey of algebraic properties used in cryptographic protocols

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade

Journal of Computer Security

Retricted access

Research article

First published 2014-3

Yongyuth Permpoontanalarp, Panupong Sornkhom

Fundamenta Informaticae

Free access

Other

First published 2009-1-1

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2015-9

Ali Alshehri, Steve Schneider

Journal of Computer Security

Retricted access

Research article

First published 1997-1-1

Volkmar Lotz

Journal of Computer Security