Formalizing Attack Scenario Description: A Proposed Model