Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
In the modern world mobile robots are being utilized for many tasks that are either hazardous or unpleasant for human beings. The potential of robots to assume such tasks hinges o...
Electronic Medical Records are important to manage health data and save lives to improve the quality of service in hospitals. Clinical medical records contain a wealth of informat...
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...