Towards Modelling Information Security with Key-Challenge Petri Nets.
Mikko KiviharjuTeijo VenäläinenSuna KinnunenPublished in: NordSec (2009)
Keyphrases
- information security
- petri net
- countermeasures
- information systems
- smart card
- intrusion detection
- information assurance
- petri net model
- security issues
- information security management
- discrete event systems
- security level
- fuzzy petri net
- colored petri nets
- ims ld
- state machines
- service composition
- programmable logic controller
- cyber defense
- concurrent systems
- stochastic petri net
- critical infrastructure
- e government
- security risks
- cyber security
- web services
- e learning
- decision making