VMCAI 2003

VMCAI 2003

4.11 - 1251 ratings - Source



This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.Lenore D. Zuck. Formal Verification of the Horn-Preneel Micropayment Protocol Kazuhiro Ogata1, 2 and Kokichi Futatsugi2 1 NEC Software Hokuriku, Ltd. ... The former[1, 2] are often based on existing credit card payment organizations.


Title:VMCAI 2003
Author: Lenore D. Zuck
Publisher:Springer Science & Business Media - 2003
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA