A progress report on using Maude to verify protocol

A progress report on using Maude to verify protocol