Date-2014-10-8 New version

New version with the change of
1 Reduce the complexity of generation of attack graph
2 Merge the Bayesian