Electronic mail systems access control and information flow control modeling

For the theoretical analysis of the electronic mail system (EMS) security it is necessary to have its formal model. The article provides an approach to modeling access control and information flow control in EMS. The model is developed on FAS, FPAS and FS DP-models considering EMS features.