A DDS-based distributed simulation approach for engineering-level models
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/CCECE.2014.6900958
کلیدواژه(گان): firewalls,n formal verification,n dynamic operation,n dynamic rulebase update,n firewalls,n private communication network security,n real time verification,n security policies,n Firewalls (computing),n Heuristic algorithms,n Ports (Computers),n Protocols,n Real-time systems,n Runtime,n Firewall Security,n Formal Methods,n Policy Verification
کالکشن
:
-
آمار بازدید
A DDS-based distributed simulation approach for engineering-level models
Show full item record
| 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 | |
| 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 |