A recent secure authentication service enforcing revocation in distributed systems is provided. Authenticity entities impose freshness constraints, derived from initial policy assumptions and authentic statements made by trusted intermediaries, in authenticated statements made by intermediaries. If freshness...http://www.google.com/patents/US6216231?utm_source=gb-gplus-sharePatent US6216231 - Specifying security protocols and policy constraints in distributed systems