Optimizing ZigBee Security using Stochastic Model Checking
| Main Authors: | , , , , |
|---|---|
| Format: | Report |
| Published: |
Technical University of Denmark
2010
|
| _version_ | 1797077911089446912 |
|---|---|
| author | Yüksel, E Nielson, H Nielson, F Fruth, M Kwiatkowska, M |
| author_facet | Yüksel, E Nielson, H Nielson, F Fruth, M Kwiatkowska, M |
| author_sort | Yüksel, E |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:24:49Z |
| format | Report |
| id | oxford-uuid:7dca56e9-12ca-4aeb-8d38-c379e393251f |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:24:49Z |
| publishDate | 2010 |
| publisher | Technical University of Denmark |
| record_format | dspace |
| spelling | oxford-uuid:7dca56e9-12ca-4aeb-8d38-c379e393251f2022-03-26T21:05:50ZOptimizing ZigBee Security using Stochastic Model CheckingReporthttp://purl.org/coar/resource_type/c_93fcuuid:7dca56e9-12ca-4aeb-8d38-c379e393251fDepartment of Computer ScienceTechnical University of Denmark2010Yüksel, ENielson, HNielson, FFruth, MKwiatkowska, M |
| spellingShingle | Yüksel, E Nielson, H Nielson, F Fruth, M Kwiatkowska, M Optimizing ZigBee Security using Stochastic Model Checking |
| title | Optimizing ZigBee Security using Stochastic Model Checking |
| title_full | Optimizing ZigBee Security using Stochastic Model Checking |
| title_fullStr | Optimizing ZigBee Security using Stochastic Model Checking |
| title_full_unstemmed | Optimizing ZigBee Security using Stochastic Model Checking |
| title_short | Optimizing ZigBee Security using Stochastic Model Checking |
| title_sort | optimizing zigbee security using stochastic model checking |
| work_keys_str_mv | AT yuksele optimizingzigbeesecurityusingstochasticmodelchecking AT nielsonh optimizingzigbeesecurityusingstochasticmodelchecking AT nielsonf optimizingzigbeesecurityusingstochasticmodelchecking AT fruthm optimizingzigbeesecurityusingstochasticmodelchecking AT kwiatkowskam optimizingzigbeesecurityusingstochasticmodelchecking |