The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
The Electronic Medical Record (EMR) integrates heterogeneous information within a Healthcare Institution stressing the need for security and access control. The Biostatistics and ...
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. profile information). To address this, servic...