ABAC version 0.2.4
...initial principal set...


adding -> pMary(good)
adding -> pJack2(good)
adding -> pMark(good)
adding -> pJohn(good,invisible)
adding -> pLori(good,nokey)
adding -> pTom(bad,nocert)
adding -> Casper(bad,unknown file)
...final principal set...
(pMary,keyid,y) 
(pJack2,keyid,y) 
(pMark2,keyid,y) 
(pJohn2,keyid,n) 
(pLori2,keyid,n) 
(pTim,keyid,y) 
(pStanley,keyid,y) 


/* ===== first ======== */
  number of contexts: 2
  number of principals: 0
  number of attributes: 0
/* ===== second ======== */
  number of contexts: 2
  number of principals: 1
  number of attributes: 0
/* ===== third ======== */
  number of contexts: 2
  number of principals: 2
  number of attributes: 0
context [A] 0 principals, 0 credentials
context [B] 0 principals, 0 credentials
adding -> pElla(good) to session
context [A] 0 principals, 0 credentials
context [B] 0 principals, 0 credentials
loading -> pElla to ctxtA
loading -> Bob to ctxtB
context [A] 1 principals, 0 credentials
context [B] 1 principals, 0 credentials