Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

Access control policies are specified within systems to ensure confidentiality of their
information. Available knowledge about policies is usually incomplete and uncertain. An …

Since multi-agent systems are inherently complex, there are possibilities that errors related
to multi-agent systems interaction could occur. Currently, many verification approaches have …

Modern distributed systems and networks, like those found in cyber-physical system
domains such as critical infrastructures, contain many complex interactions among their …

Covert channels pose a threat to system security for many reasons. One of the most
significant security concerns surrounding the use of covert channels in computer and …

Safety-critical system domains such as critical infrastructures, aerospace, automotive, and
industrial manufacturing and control are becoming increasingly dependent on the use of …

The issue of deployment strategy of sensor nodes to-extend the lifetime of a multi-hop
wireless sensor network is addressed. Based on load-balancing concept, an algorithm is …

There has been a proliferation in the amount of data being generated and collected in the
past several years. One of the leading factors contributing to this increased data scale is …

An integral part of safeguarding systems of communicating agents from covert channel
communication is having the ability to identify when a covert channel may exist in a given …

The existence and usage of covert channels in systems of communicating agents poses a
significant threat to the confidentiality of information. It is difficult to fully prevent the …