In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

Considerable attention has been paid to dynamic searchable symmetric encryption (DSSE) which allows users search on dynamically updated encrypted databases. To improve the performance of real-world applications, recent non-interactive multi-client DSSE schemes are targeted at avoiding per-query interaction between data owners and users. However, existing do not consider forward privacy or backw...

This paper describes a study that explored the extent and nature of workplace violence in child protective services (CPS). A total of 68 workers and clients reported on their experiences. Of workers, 70% reported being the victim of client violence, and 22% reported they had perpetrated a violent act toward a client. Of clients, 55% reported being a victim of assault by a CPS worker, while 42% ...