[Maude-help] CIL to Maude connector
v900 at hotmail.com
Thu Jul 17 23:52:14 CDT 2003
I am a student of Monash University, Malaysia. I am
working on cryptographic protocol for wireless network. As a part of
my thesis, i am improving existing protocols .
I've read about the CAPSL->CIL->maude specification from the CAPSL web
page. Can I have more literature on CIL->maude connector? In particular,
get more details about how CIL is converted to maude.
Using a handphone prepaid card? Reload your credit online!
More information about the Maude-help