— Wireless mesh networks are a viable solution to provide broadband wireless access (BWA) in a cost efficient and flexible manner. The IEEE 802.16 standard is currently one of ...
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Continuing innovations in information and communication technologies offer powerful tools for building digital government but, at the same time, in many environments they have lea...