[Maude-help] CIL to Maude connector

[k vincent]

Dear Sir,

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, 
can I
get more details about how CIL is converted to maude.

Thanks.
Vincent.

_________________________________________________________________
Using a handphone prepaid card? Reload your credit online! 
http://www.msn.com.my/reloadredir/default.asp