Suggestion for work in Cryptographic Protocol Analysis

I'm an under graduating student from Brazil and I'm
intending to do my graduate work on Cryptographic
Protocol Analysis, but I'm not sure what way to
follow.
There are many research in this area; I have read
about  Contraint Solving and it's very interesting;
also I read about CAPSL and it's interesting too. I've
read a paper from Catherine Meadows about trends in
this area that cited analysis in cryptographic
protocols including Denial of Service attacks, and
it's also interesting. Also I've read about multiset
rewriting ...
In resume: I've read a lot of topics but I'm lost; I
don't know what way to follow and where I can start.
Does anybody have any suggestion for me? I have about
a year to conclude my work.
=20
Best regards,
=20
Andr=E9 Thiago.


=09
=09
	=09
_______________________________________________________=20
Yahoo! Acesso Gr=E1tis - Instale o discador do Yahoo! agora. http://br.ac=
esso.yahoo.com/ - Internet r=E1pida e gr=E1tis