RT in LolliMon

Jeff Polakow and Christian Skalka

Following are LolliMon specifications of RT framework variants and certificate chain discovery. Each file contains policy, credential, and query examples, as well as certificate examples in the case of chain discovery.

RT0:

RTD:

RT2:

Please direct comments or questions to Christian Skalka.