Cybersecurity

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

Back to article page