Skip to main content

Advertisement

Table 9 Time (in seconds) needed to compute the decision for a concrete query using BDDs and using SAT formulae; the minimal, mean and maximal time are taken from a sample of 100 valid queries

From: A framework for the extended evaluation of ABAC policies

  BDD SAT
  min mean max min mean max
Continue 0.0001 0.0002 0.0003 0.0370 0.0419 0.0483
SAFAX (10) 0.0001 0.0002 0.0004 0.0341 0.0383 0.0487
SAFAX (20) 0.0002 0.0004 0.0005 0.0581 0.0652 0.0727
SAFAX (50) 0.0005 0.0007 0.0009 0.2140 0.2298 0.2522
KMarket (10) 0.0001 0.0001 0.0002 0.0241 0.0268 0.0388
KMarket (20) 0.0001 0.0002 0.0003 0.0579 0.0687 0.0817
KMarket (50) 0.0002 0.0003 0.0004 0.2840 0.3011 0.3247