Cart (Loading....) | Create Account
Close category search window

Structural Control Operators for Composing Diagrams of Strand Spaces of Concurrent Cryptographic Protocols

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Huanbao Wang ; Sch. of Comput. Sci. & Inf. Technol., Hefei Univ. of Technol. ; Yousheng Zhang ; Yuan Li

The diagram of strand spaces is introduced. It is a formal model for a cryptographic protocol running in an infinite concurrent way, viz. a complex dynamic system, on the base of the theory for strand spaces. The open bundle, which is only one element for composing diagrams of strand spaces, was defined. And two operators such as prefixing, parallel composition over the set of open bundles were also defined. The open bundle set and its operators were written as the open bundle algebra. The bi-simulation of open bundles and the bi-simulation equivalent relation of diagrams of strand spaces were introduced. They are used to prove safety properties of cryptographic protocols in the open bundle algebra. The model of diagrams of strand spaces is a novel tool to prove safety properties of cryptographic protocols running in an infinite concurrent way, and is used to describe other normal concurrent systems

Published in:

Intelligent Control and Automation, 2006. WCICA 2006. The Sixth World Congress on  (Volume:1 )

Date of Conference:

0-0 0

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.