Die Stapelsicherheit kann als Kombination von Integrität und Vertraulichkeit für den Aufrufer und den Aufgerufenen sowie einer wohlgeformten Kontrollflusskette formalisiert werden.