| contributor author | Dohyung Kim | |
| contributor author | Ockhyun Paek | |
| contributor author | Taeho Lee | |
| contributor author | Samjoon Park | |
| contributor author | Hyunshik Bae | |
| date accessioned | 2020-03-12T22:41:37Z | |
| date available | 2020-03-12T22:41:37Z | |
| date issued | 2014 | |
| identifier other | 7020132.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1091420?locale-attribute=en&show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | A DDS-based distributed simulation approach for engineering-level models | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8230229 | |
| subject keywords | firewalls | |
| subject keywords | n formal verification | |
| subject keywords | n dynamic operation | |
| subject keywords | n dynamic rulebase update | |
| subject keywords | n firewalls | |
| subject keywords | n private communication network security | |
| subject keywords | n real time verification | |
| subject keywords | n security policies | |
| subject keywords | n Firewalls (computing) | |
| subject keywords | n Heuristic algorithms | |
| subject keywords | n Ports (Computers) | |
| subject keywords | n Protocols | |
| subject keywords | n Real-time systems | |
| subject keywords | n Runtime | |
| subject keywords | n Firewall Security | |
| subject keywords | n Formal Methods | |
| subject keywords | n Policy Verification | |
| identifier doi | 10.1109/CCECE.2014.6900958 | |
| journal title | imulation Conference (WSC), 2014 Winter | |
| filesize | 992203 | |
| citations | 0 | |