Frantz Iwu

Learn More
Security and safety were and still are a major concern for distributed computing systems and similar networks of computer environments. A number of cryptographic protocols have been proposed to achieve security and safety of network communication. There is growing interest in using computer simulation to help with understanding, analysing and designing of(More)
We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure(More)
The aim of this paper is to present an approach to describe cryptographic protocols using agent-based simulation. This provides a framework to understand and model protocol behaviour and interaction in a simulation environment. Simulation techniques in the past have proven to be useful especially in areas where it is critical for testing to be carried out.(More)
  • 1