Looking ahead — what could we do with formal modeling of events?
Peter D. Stephenson · Computer Fraud & Security · 2004
Over the past couple of years we have explored several applications of formal modeling to digital forensics and digital investigation. In our last few columns we applied Colored Petri Nets to the problem of modeling a worm or virus infection In this column we will take a look at some other research being done in the area of formal modeling of digital events and see how it could apply to the concepts we have discussed here.