Protocol Test Systems VIII, Ana Cavalli; Stan Budkowski

Автор: Kuai Xu; Haojin Zhu
Название: Wireless Algorithms, Systems, and Applications
ISBN: 3319218360 ISBN-13(EAN): 9783319218366
Издательство: Springer
Рейтинг:
Цена: 89440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Privacy-Preserving Public Auditing Together with Efficient User Revocation in the Mobile Environments.- Multi-proxy Multi-signature Binding Positioning Protocol.- Efficient Network Structure of 5G Mobile Communications.- Optimal Channel Assignment Schemes in Underlay CRNs with Multi-PU and Multi-SU Transmission Pairs.- A Group Bandwidth Reservation Scheme for the Control Channel in IEEE 802.11p/1609 Networks.- k-Perimeter Coverage Evaluation and Deployment in Wireless Sensor Networks.- Modeling Flu Trends with Real-Time Geo-tagged Twitter Data Streams.- Radio Signal Based Device-Free Velocity Recognition.- Minimum-Cost Information Dissemination in Social Networks.- Finding Overlapping Communities with Random Walks on Line Graph and Attraction Intensity.- Computing an Optimal Path with the Minimum Number of Distinct Sensors.- ULRAS: Ultra-Lightweight RFID Authentication Scheme for Mobile Device.- Soft Reservation Based Prioritized Access: Towards Performance Enhancement for VoIP over WLANs.- Impact of a Deterministic Delay in the DCA Protocol.- EBRS: Event Based Reputation System for Defensing Multi-source Sybil Attacks in VANET.- iSound: A Smartphone Based Intelligent Sound Fusion System for the Hearing Impaired.- Estimation Based Adaptive ACB Scheme for M2M Communications.- Optimal Power Allocations for Two-Users Spectrum Sharing Cognitive Radio with Interference Limit.- Adaptive Resource Allocation for Anti-money Laundering Based on SMDP.- Infrastructure Deployment and Optimization for Cloud-Radio Access Networks.- A Cluster Head Rotation Cooperative MIMO Scheme for Wireless Sensor Networks.- A Distributed Game-Theoretic Power Control Mechanism for Device-to-Device Communications Underlaying Cellular Network.- A Low Overhead and Stable Clustering Scheme for Crossroads in VANETs.- Online Channel Assignment, Transmission Scheduling, and Transmission Mode Selection in Multi-channel Full-duplex Wireless LANs.- Optimal Preference Detection Based on Golden Section and Genetic Algorithm for Affinity Propagation Clustering.- DRL: A New Mobility Model in Mobile Social Networks.- SGSA: Secure Group Setup and Anonymous Authentication in Platoon-Based Vehicular Cyber-Physical Systems.- A Bidder-Oriented Privacy-Preserving VCG Auction Scheme.- A Secure Multi-unit Sealed First-Price Auction Mechanism.- Flow-Level Performance of Device-to-Device Overlaid OFDM Cellular Networks.- Bernoulli Sampling Based (epsilon, delta)-Approximate Frequency Query in Mobile Ad Hoc Networks.- Secure and Verifiable Multi-owner Ranked-Keyword Search in Cloud Computing.- A Dynamic Differentiated QoS Based Call Admission Control Service Model for Core Node in Wireless Sensor Network Topology Control.- Secure and Privacy-Preserving Location Proof in Database-Driven Cognitive Radio Networks.- SDP: Separate Design Principle for Multichannel Scheduling in Priority-Aware Packet Collection.- On Computing Multi-agent Itinerary Planning in Distributed Wireless Sensor Networks.- FFDP: A Full-Load File Delivery Protocol in Satellite Network Communication.- Energy-Aware Clustering and Routing Scheme inWireless Sensor Network.- Serial Number Based Encryption and Its Application for Mobile Networks.- Fine-Grained Searchable Encryption over Encrypted Data in Multi-clouds.- Big-Little-Cell Based "Handprint" Positioning System.- Spectrum Sublet Game Among Secondary Users in Cognitive Radio Networks.- Delivering Content with Defined Priorities by Selective Agent and Relay Nodes in Content Centric Mobile Social Networks.- Rogue Access Point Detection in Vehicular Environments.- Information-Centric Resource Management for Air Pollution Monitoring with Multihop Cellular Network Architecture.- A Novel Location Privacy Mining Threat in Vehicular Internet Access Service.- iProtect: Detecting Physical Assault Using Smartphone.- Enhancing Wireless Security Against Reactive Jamming Attacks: A Game-Theoretical Framework.- A Quasi-Dynamic Inter-Satellite Link Reassignmen

Автор: Leandros A. Maglaras; Helge Janicke; Kevin Jones
Название: Industrial Networks and Intelligent Systems
ISBN: 3319525689 ISBN-13(EAN): 9783319525686
Издательство: Springer
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Industrial Networks and Intelligent Systems, INISCOM 2016 held in Leicester, UK, October 31 - November 1, 2016. The 15 revised full papers carefully reviewed and selected from 22 submissions.

Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Название: Protocol Test Systems
ISBN: 1475763107 ISBN-13(EAN): 9781475763102
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Robin Sharp
Название: Principles of Protocol Design
ISBN: 364209628X ISBN-13(EAN): 9783642096280
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a completely new edition of a book which was ?rst published in 1994, where the main focus of many international efforts to develop data communication systems was on OSI - Open Systems Interconnection - the standardised archit- ture for communication systems developed within the International Organisation for Standardization, ISO.

Автор: Qingfeng Chen; Chengqi Zhang; Shichao Zhang
Название: Secure Transaction Protocol Analysis
ISBN: 3540850732 ISBN-13(EAN): 9783540850731
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a comprehensive coverage of the state of the art in security protocol analysis. This work aims to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. It covers the main approaches and tools in formal methods for security protocol analysis.

Автор: Muddassar Farooq
Название: Bee-Inspired Protocol Engineering
ISBN: 3642099467 ISBN-13(EAN): 9783642099465
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces a multipath routing algorithm for packet-switched telecommunication networks based on techniques observed in bee colonies. The algorithm, BeeHive, represents an important step towards intelligent networks that optimally manage resources.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 1475752601 ISBN-13(EAN): 9781475752601
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Автор: Charles A. Shoniregun
Название: Synchronizing Internet Protocol Security (SIPSec)
ISBN: 1441940995 ISBN-13(EAN): 9781441940995
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume identifies the security problems facing internet communication protocols along with the risks associated with internet connections. It includes a number of different algorithms and protocols to provide a cohesive security framework.

Автор: Keyou You; Nan Xiao; Lihua Xie
Название: Analysis and Design of Networked Control Systems
ISBN: 1447166140 ISBN-13(EAN): 9781447166146
Издательство: Springer
Рейтинг:
Цена: 130610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Analysis and Design of Networked Control Systems

Автор: Robin Doss; Selwyn Piramuthu; Wei ZHOU
Название: Future Network Systems and Security
ISBN: 3319192094 ISBN-13(EAN): 9783319192093
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Conference on Future Network Systems and Security, FNSS 2015, held in Paris, France, in June 2015.The 13 full papers presented were carefully reviewed and selected from 34 submissions.

Автор: Muhammad Younas; Irfan Awan; Irena Holubova
Название: Mobile Web and Intelligent Information Systems
ISBN: 3319655140 ISBN-13(EAN): 9783319655147
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 1475763085 ISBN-13(EAN): 9781475763089
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech- niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna- tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni- cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).