An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
In this paper we present a multiuser MIMO experimental system and the corresponding indoor measurement results that demonstrate power of distributed and coherentlycoordinated downl...
Dragan Samardzija, Howard Huang, Reinaldo A. Valen...