-
Chapter and Conference Paper
Visitor Access Control Scheme Utilizing Social Relationship in the Real World
Access control to resources is one of the most important technologies for supporting human activities in the digital space. To realize the control two schemes were proposed: RBAC (Role-Based Access Control) an...
-
Chapter
A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous
LOTOS[1] is a high level specification language which incorporates the Multi-Rendezvous. Multi-Rendezvous is a powerful communication mechanism that allows a set of processes to execute an event in synchronous...
-
Chapter
A New Test Sequence Generation Method for Interoperability Testing
A method for generating test sequences for interoperability testing of communication systems is proposed. In the proposed method, the system state graph, which shows behaviours of the whole system, is generate...
-
Chapter
A Synthesis Algorithm of a Protocol Model from a Single Entity
Protocol entities, in communication protocols, behave under sets of communication rules (protocols). Thus, it is desirable to concentrate on the design of one protocol entity and generate the corresponding pro...
