Designing For Effective Deterrence: A Markovian Approach To Modeling And Analyzing Terrorist Behavior Within The Aviation Security Environment