The last decades have seen a growing interest and demand for community-centered
collaborative systems and platforms. These systems and platforms aim to provide an …

With the development of Internet-of-Things (IoT) technology, various types of information,
such as social resources and physical resources, are deeply integrated for different …

摘要云计算, 物联网等新型计算模式为我们提供了便捷的数据共享, 高效计算等服务,
极大地提高了数据的处理效率, 提升了计算和存储资源的利用能力. 但这些新型计算模式存储并 …

Access control policy is typically defined in terms of attributes, but in many applications it is
more natural to define permissions in terms of relationships that resources, systems, and …

When monitoring system behavior to check compliance against a given policy, one is
sometimes confronted with incomplete knowledge about system events. In IT systems, such …

With wide development of various information technologies, our daily activities are
becoming deeply dependent on cyberspace. People often use handheld devices (eg …

Pattern-based development of software systems has gained more attention recently by
addressing new challenges such as security and dependability. However, there are still …

Document image quality assessment (DIQA) is an important and challenging problem in real
applications. In order to predict the quality scores of document images, this paper proposes …

We introduce a new methodology for formulating, analyzing, and applying access-control
policies. Policies are expressed as formal theories in the SMT (satisfiability-modulo-theories) …

People increasingly use digital platforms to exchange resources in accordance to some
policies stating what resources users offer and what they require in return. In this paper, we …