Terms for subject Information security and data protection containing формальное

Russian	English
формальная модель политики безопасности	formal security policy model
формальное доказательство	formal proofing
формальный анализ безопасности гипертекстовых систем	formal web security analysis (uni-stuttgart.de Alex_Odeychuk)