Optimizing ZigBee Security using Stochastic Model Checking

書誌詳細
主要な著者: Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M
フォーマット: Report
出版事項: Technical University of Denmark 2010