1. Hence, this solver is particularly useful for security properties of Java Card byte-code, access control features of mobile and discretionary ambients', and validation of protocol narrations in suitable algebra processes.

Daher ist dieser Problemlöser besonders für die Sicherheitsmerkmale des Byte-Codes der Java Card, für die Bewertung der Steuerungseigenschaften von mobilen und unbeschränkten Umgebungen sowie für die Validation der Protokollkommunikation in geeigneten Algebraprozessen von großem Nutzen.