Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Computer Systems (TOCS)
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Agent system development method based on agent patterns
Proceedings of the 21st international conference on Software engineering
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Internet Computing
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
IOM/T: an interaction description language for multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Trust-based security for wireless ad hoc and sensor networks
Computer Communications
IOM/T: interaction-oriented model by textual notation
International Journal of Agent-Oriented Software Engineering
Promoting the development of secure mobile agent applications
Journal of Systems and Software
Bridging the gap between AUML and implementation using IOM/T
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
Many people consider that security is one of the biggest problems for practical use of mobile agents that move around the network and do their tasks. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. IPEditor helps developers to design applications with visual supports of agent behaviors. In our method, we translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the security requirements by the Mobile UNITY logic notation. Thus we can verify the security requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present an example of an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.