2015

Deciding static inclusion for Delta-strong and Omega Delta-strong intruder theories: Applications to cryptographic protocol analysis

Visit USCO

Text Registration

Deciding static inclusion for Delta-strong and Omega Delta-strong intruder theories: Applications to cryptographic protocol analysis

Status

Published

on 28 Jul 2015

Year of Creation

2015

Kimberly A. Gero

Registration Number

TX0008122060

on 28 Jul 2015

The U.S. Copyright record (Registration Number: TX0008122060) dated 28 Jul 2015, pertains to an electronic file (eService) titled "Deciding static inclusion for Delta-strong and Omega Delta-strong intruder theories: Applications to cryptographic protocol analysis" created in 2015. The copyright holder is Kimberly A. Gero, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Kimberly A. Gero.

Kimberly A. Gero

Application Details

Registration Number

TX0008122060

Registration Date

7/28/2015

Year of Creation

2015

Agency Marc Code

DLC-CO

Record Status

New

Physical Description

Electronic file (eService)

First Publication Nation

United States

Personal Authors

Kimberly A Gero

Notes

Rights Note: Diana G Zajic, ProQuest-CSA, LLC, 789 E. Eisenhower Parkway, Ann Arbor, MI, 48108-3218, United States, (800) 521-0600 xext77020, disspub@proquest.com

Statements

Application Title Statement: Deciding static inclusion for Delta-strong and Omega Delta-strong intruder theories: Applications to cryptographic protocol analysis

Author Statement: Kimberly A. Gero Citizenship: not known Authorship: text

Notes

Rights Note: Diana G Zajic, ProQuest-CSA, LLC, 789 E. Eisenhower Parkway, Ann Arbor, MI, 48108-3218, United States, (800) 521-0600 xext77020, disspub@proquest.com

Statements

Application Title Statement: Deciding static inclusion for Delta-strong and Omega Delta-strong intruder theories: Applications to cryptographic protocol analysis

Author Statement: Kimberly A. Gero Citizenship: not known Authorship: text

Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

Show terms & conditions

Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.