[prev in list] [next in list] [prev in thread] [next in thread] 

List:       avispa-users
Subject:    [Avispa-users] clarifications about agents to be inserted in formal
From:       "Matteo R." <matteo.it () gmail ! com>
Date:       2011-04-03 11:10:15
Message-ID: 4D985597.7040000 () gmail ! com
[Download RAW message or body]

Hello everyone,
could you explain me better which agents should be included in the 
parameters?

I'm trying to leave only the name of the agent that play the role 
itself, and (without authentication and secrecy goals) all seems work alike.

More agents in parameters is needed only when I add authentication and 
secrecy goals?
What about adding a new role? In which other roles is needed (if it's 
needed) to add the agent name of the role added?

I'm asking you this apparently seemingly foolish question because I'm 
trying to add a new role and, receiving some problems, I think that the 
cause is related with role's parameters.

Thank you very much
Matteo
_______________________________________________
Avispa-users mailing list
Avispa-users@avispa-project.org
http://mail63.csoft.net/mailman/listinfo/avispa-users
[prev in list] [next in list] [prev in thread] [next in thread]