Stem npa$ (all stems)
2 papers:
PPDP-2011-EscobarKLMMNS #analysis #encryption #protocol #unification #using- Protocol analysis in Maude-NPA using unification modulo homomorphic encryption (SE, DK, CL, CM, JM, PN, RS), pp. 65–76.
DATE-2008-FranchinoBF #protocol- Time Properties of the BuST Protocol under the NPA Budget Allocation Scheme (GF, GCB, TF), pp. 1051–1056.