Research: Formal language for security services base modelling and analysis
Computer Communications
Security policy conceptual modeling and formalization for networked information systems
Computer Communications
Hi-index | 0.07 |
A model describing secure communications architectures is developed using the formal language Z. The model is based on fundamental cryptographic properties. Some basic constraints are derived for the design of secure architectures which allow problems to be identified prior to the design of security protocols. A simple criterion is derived for ensuring that all pairs of users can set up secure communications channels