WASET
	%0 Journal Article
	%A Khair Eddin Sabri and  Ridha Khedri and  Jason Jaskolka
	%D 2008
	%J International Journal of Information and Communication Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 20, 2008
	%T Specification of Agent Explicit Knowledge in Cryptographic Protocols
	%U https://publications.waset.org/pdf/820
	%V 20
	%X Cryptographic protocols are widely used in various
applications to provide secure communications. They are usually
represented as communicating agents that send and receive messages.
These agents use their knowledge to exchange information and
communicate with other agents involved in the protocol. An agent
knowledge can be partitioned into explicit knowledge and procedural
knowledge. The explicit knowledge refers to the set of information
which is either proper to the agent or directly obtained from other
agents through communication. The procedural knowledge relates to
the set of mechanisms used to get new information from what is
already available to the agent.
In this paper, we propose a mathematical framework which specifies
the explicit knowledge of an agent involved in a cryptographic
protocol. Modelling this knowledge is crucial for the specification,
analysis, and implementation of cryptographic protocols. We also,
report on a prototype tool that allows the representation and the
manipulation of the explicit knowledge.
	%P 2634 - 2641