information about formal security field