<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

The Practice of Cryptographic Protocol Verification

Name: The Practice of Cryptographic Protocol Verification
Creator: Rusinowitch, Michaël
Keywords: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], non-atomic keys, sécurité protocoles vérification, Cryptographic protocols, CASRUL, verification, complexity, security protocols verification, Theoretical Computer Science, Computer Science(all)

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Jan 2003 France Publisher:Elsevier BVJournal:Electronic Notes in Theoretical Computer Science, volume 55, pages 3-4 (issn: 1571-0661,

Authors: Rusinowitch, Michaël;

doi: 10.1016/s1571-0661(04)00241-5

The Practice of Cryptographic Protocol Verification

- Summary
- Subjects
- Metrics

Abstract

We analyze the complexity of verifying security protocols for finite sessions

Country

France

Related Organizations

View all View all

Keywords

[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], non-atomic keys, sécurité protocoles vérification, Cryptographic protocols, CASRUL, verification, complexity, security protocols verification, Theoretical Computer Science, Computer Science(all)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

gold

Related to Research communities

INRIA