Runtime flexibility of SELInux