Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less
Uncertain Information Processing for Situation Awareness and Dynamic Decision-Making in Emergency Management. The Australian national counter-terrorism committee indicates that Australia should have a strong intelligence-led prevention and preparedness to support Australia on risk management, emergency services and maintaining capabilities to manage various types of terrorist attacks. The proposed situation awareness support technique can be used to develop situation analysis software systems or ....Uncertain Information Processing for Situation Awareness and Dynamic Decision-Making in Emergency Management. The Australian national counter-terrorism committee indicates that Australia should have a strong intelligence-led prevention and preparedness to support Australia on risk management, emergency services and maintaining capabilities to manage various types of terrorist attacks. The proposed situation awareness support technique can be used to develop situation analysis software systems or directly support Australia government agencies and industries to correctly assess a situation, increase awareness for crisis problems, and therefore improve emergency management and decision-making effectiveness, in particular, for avoiding disaster problems in the first place and preparing plans for those that undoubtedly will occur. Read moreRead less