{"title":"Modeling and analysis of IEEE 802.16 PKM Protocols using CasperFDR","authors":"Sen Xu, Chin-Tser Huang, M. Matthews","doi":"10.1109/ISWCS.2008.4726137","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726137","url":null,"abstract":"IEEE 802.16 is the standard for broadband wireless access. The security sublayer is provided within IEEE 802.16 MAC layer for privacy and access control, in which the Privacy and Key Management (PKM) protocols are specified. This paper models the PKM protocols using Casper and analyzes the CSP output with FDR, which are formal analysis tools based on the model checker. Later versions of PKM protocols are also modeled and analyzed. Attacks are found in each version and the results are discussed.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126800888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performance evaluation of UHF RFID technologies for real-time passenger tracking in intelligent public transportation systems","authors":"C. Oberli, D. Landau","doi":"10.1109/ISWCS.2008.4726028","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726028","url":null,"abstract":"Passenger counting is an important task for intelligent public transportation system¿s planning and operation. However, traditional counting systems can¿t identify individual passengers. The access to this additional capacity would allow collecting historical statistics on each passenger¿s transportation needs, hence enabling a substantially enhanced optimization in these systems. With this purpose, this work proposes a passenger counting and identification method through radio frequency identification technologies (RFID). Forty individuals are involved in measurements carrying EPC Gen2 tags in their backpacks, wallets, pocket and hand, passing through a portal with a similar size as a bus door. Conditions of one and two rows of persons walking through the portal are evaluated. This portal is equipped with 4 reading antennas. Cards that have a single EPC Gen2 tag and cards with both a Mifare and a UHF EPC Gen2 tag are used. Card reading statistics for all the combinations of 1, 2, 3 and 4 antennas are presented in this paper. The passenger detection percentage at the portal with two properly located antennas has an average of 82% for dual-band cards and 91% for single-band cards. When four antennas are used, there is an additional increase of 2% in the detection percentage for both types of cards.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133680254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Uplink capacity of MIMO cellular systems with multicell processing","authors":"S. Chatzinotas, M. Imran, C. Tzaras","doi":"10.1109/ISWCS.2008.4726097","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726097","url":null,"abstract":"Multiple antennas are known to increase the link throughput by providing a multiplexing gain which scales with the number of antennas. Especially in cellular systems, multiple antennas can be exploited to achieve higher rates without the need for additional base station (BS) sites. In this direction, this paper investigates the multi-antenna capacity scaling in a cellular system which employs multicell processing (hyper-receiver). The model under investigation is a MIMO Gaussian cellular multiple-access channel (GCMAC) over a planar cellular array in the presence of power-law path loss and flat fading. Furthermore, the considered cellular model overcomes the assumption of user collocation utilized by previous models by incorporating uniformly distributed user terminals (UTs). The asymptotic eigenvalue distribution (a.e.d.) of the covariance channel matrix is calculated based on free-probabilistic arguments. In this context, we evaluate the effect of multiple BS/UT antennas on the optimal sum-rate capacity by considering a variable-density cellular system. Finally, the analytical results are interpreted in the context of a typical real-world macrocellular scenario.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134287809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Two-level-search sphere decoding algorithm for MIMO detection","authors":"Trong-Anh Huynh, D. Hoang, M. Islam, Jinsang Kim","doi":"10.1109/ISWCS.2008.4726096","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726096","url":null,"abstract":"Breadth-first search sphere decoding (SD) is considered as one of the most promising methods for multiple-input multiple-output (MIMO) detection due to its low computational complexity, capability of providing fixed throughput and pipelining features. However, the performance of the conventional breadth-first search SD is significantly degraded if the number of candidate symbols kept at each level of the tree search is not sufficiently large. To solve this problem, we present a novel two-level-search sphere decoding algorithm for MIMO systems. In our proposed algorithm, symbol detection is concurrently performed on two levels of the tree search, and the search space is extended to find good candidate symbols. The use of simultaneous two-level search is to greatly reduce the possibility of discarding good candidates at early stages. Compared to the traditional breadth-first search SD algorithm, our approach provides a performance gain of about 2.5 dB at a bit-error-rate (BER) of 10-4. Our work also exhibits a low computational complexity in term of the number of multiplications. Furthermore, we also discuss some VLSI implementation aspects of the proposed algorithm for practical applications.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134313445","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Using efficient backlog estimation to achieve near-optimal throughput for integrated multimedia wireless cellular access","authors":"Luc Gadbois, P. Koutsakis","doi":"10.1109/ISWCS.2008.4726079","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726079","url":null,"abstract":"We have recently introduced in the literature a new access control protocol for next generation wireless cellular networks, which showed superior performance in comparison to other (TDMA and WCDMA-based) protocols when integrating various types of multimedia traffic. In this Extended Abstract, we show that the use of stack protocols to resolve contention among contending multimedia terminals is not the only satisfactory solution. Although stack protocols have been shown in the literature to be operationally simple and stable, the use of efficient backlog estimation can help the system achieve near-optimal throughput with slotted Aloha-based contention, while integrating streams from latest technology video encoders with other types of packet traffic over noisy wireless cellular networks.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133972787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Effective prediction scheme for bandwidth allocation in interactive satellite terminals","authors":"P. Pace, G. Aloi","doi":"10.1109/ISWCS.2008.4726075","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726075","url":null,"abstract":"This paper investigates the integration of an effective prediction scheme for bandwidth allocation in a GEO satellite architecture supporting DVB-RCS (Digital Video Broadcasting - Return Channel Satellite) features. The prediction strategy joined to a simple scheduling method implemented in the satellite terminals, allows a good QoS differentiation to the miscellaneous traffic categories.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124010735","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Biagi, E. Baccarelli, C. Pelizzoni, N. Cordeschi, Irene Salas Arzola
{"title":"Turbo-like synchronization for UWB-IR links","authors":"M. Biagi, E. Baccarelli, C. Pelizzoni, N. Cordeschi, Irene Salas Arzola","doi":"10.1109/ISWCS.2008.4726108","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726108","url":null,"abstract":"This contribution deals with the Turbo-like noncoherent data-aided (e.g., no blind) synchronization of Ultra-Wideband Impulse-Radio (UWB-IR) terminals operating over broadband channels affected by multipath fading with ¿a priori¿ unknown number of paths. The synchronizer we develop achieves the data-aided joint estimate of the number of paths and their arrival times without requiring any a priori knowledge of the amplitude (module and sign) of the channel-gains. The ultimate performance of the proposed synchronizer is evaluated by considering the number of pilots needed to estimate the channel delays and, more, the Bit Error Rate achievable on the basis of delays and amplitude estimation. The idea behind this approach is to use a turbo-like structure to improve performance so to allow a SNR gain even if channel models are considered in the presence of Inter Pulse Interference (IPI).","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129191015","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Suitability of RSRQ measurement for quality based inter-frequency handover in LTE","authors":"J. Kurjenniemi, T. Henttonen, J. Kaikkonen","doi":"10.1109/ISWCS.2008.4726147","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726147","url":null,"abstract":"The purpose of this paper is to evaluate the suitability of reference signal received quality (RSRQ) measurement for quality based inter-frequency handover in UTRAN long term evolution (LTE). Intra-frequency handovers in LTE are done based on reference signal received power (RSRP) measurements, which should ensure that users are always connected to the cell with the highest received power. However, in certain environments where interference causes service quality degradation for the user (which RSRP measurement is not able to detect) there might be situation where a quality-based measurement would enable better system performance. In this paper, we evaluate the success and correctness of RSRQ based inter-frequency handovers as means for preventing service degradation using dynamic system simulations. However, comparison of RSRQ and RSRP based triggering suggest that RSRQ is not able to provide robust detection of service quality degradation. Furthermore, RSRQ is found to be heavily dependent on current system loading and the measurement strategy.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128430475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Link adaptation with combined optimal frame size and rate selection in error-prone 802.11n networks","authors":"Xin He, F. Li, Jiaru Lin","doi":"10.1109/ISWCS.2008.4726153","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726153","url":null,"abstract":"In error-prone channel with low SNRs, the network throughput may drop significantly if the packet length becomes too large. On the other hand, too much protocol overhead will be introduced if the packet length is too small. In this paper, we study this tradeoff and propose an adaptive frame size algorithm for A-MPDU in 802.11n networks, which can maximize the throughput by selecting the optimized frame length under different channel conditions. When used together with rate selection, the network throughput can be further improved. Both analytical model and simulation results are presented, demonstrating that our algorithm outperforms the fixed length transmission scheme in 802.11n networks under poor channel conditions.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128770906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the influence of a CDMA cellular repeater in the capacity of a donor base station","authors":"Marcos Antonio Neves, R. Souza","doi":"10.1109/ISWCS.2008.4726021","DOIUrl":"https://doi.org/10.1109/ISWCS.2008.4726021","url":null,"abstract":"The low cost of CDMA cellular repeaters suggests that its use may be always advantageous. However, the interference inserted by such repeaters in the CDMA system must not be neglected. The CDMA repeater inserts thermal noise in the repeated carrier, amplifies the carriers of other Base Stations, and thus can also be a source of interference for the mobile stations served by it. In this paper we perform a numerical analysis of the traffic capacity loss of a carrier in the donor Base Station. The analysis is based on real interference measurements, and the classical CDMA capacity equations. Results indicate a considerable loss in capacity.","PeriodicalId":158650,"journal":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117206165","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}