Formell rättssäkerhet är den del av rättssäkerheten som fokuserar på förfarandet .