Formalizing an Adaptive Security Infrastructure in Mob-adtl