Bullying and stalking through cyberspace have become serious phenomena in the Internet era, impacting mainly young users and teenagers. Many tragic incidents have occurred, especially in the West, including self-harm and suicide due to these problems. To protect the victims many countries such as the United Arab Emirates (UAE), the United States (US), the United Kingdom (UK) and Canada have codified laws dealing with cyber-crimes, including cyber-harassment. To determine the adequacy of such laws in addressing these issues, we present in this paper a legal analysis of the existing anti-bullying and stalking laws in the UAE, US, UK, and Canada. The purpose is to gain perspective on the characteristics of the laws and their ability to protect society from various forms of crimes associated with cyberbullying and cyberstalking. The paper also presents recommendations to help combat cyberbullying and cyberstalking and protect our youth from these issues.

Recently, cyberbullying has grown significantly on social platforms, impacting users especially teenagers and young adults. The effects of this threat are so severe and damaging that could lead to suicide. Lately, this threat has become a significant issue in Arab countries, especially with the wide adoption of social media by the young generation. Most of existing research proposed solutions for detecting cyberbullying, mainly in English language. However, only few papers studied cyberbullying detection in Arabic Social Media Communications. This paper used machine learning for automatic detection of cyberbullying in Arabic. The proposed scheme detects cyberbullying using Naive Bayes(NB) classifier algorithm by training and testing the classifier with real data set which was collected from Youtube and Twitter.

Aspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve the modularization of crosscutting concerns at the software modeling phase. On the other hand, with the rise of Model-Driven Development, Executable UML (xUML) plays a central role since it allows modelers to specify detailed specifications that can be automatically transformed into code. In this paper, we provide a formal semantics for aspect matching and weaving on xUML models, particularly activity diagrams. The semantics is based on Continuation-Passing Style since it provides a concise and elegant description of aspect-oriented mechanisms. We first consider basic pointcuts. Then, we provide a semantics for the dataflow pointcut, which is useful from a security perspective.

Aspect-orientation has gained a lot of attention from researchers. This concept emerged as an appropriate paradigm to improve the modularization of crosscutting concerns, such as security, logging, and synchronization. In this paper, we provide formal semantics for aspect matching and weaving for a core language based on λ-calculus. We adopt the pointcut-advice model, one of the fundamental and most popular AOP mechanisms. We consider basic pointcuts, i.e., get, set, call, and exec pointcuts. The semantics is based on a defunctionalized continuation-passing style since the latter provides a concise, accurate, and elegant description of AOP mechanisms.

Security is a very challenging task in software engineering. Enforcing security policies should be taken care of during the early phases of the software development life cycle to prevent security breaches in the final product. Since security is a crosscutting concern that pervades the entire software, integrating security solutions at the software design level may result in scattering and tangling security features throughout the entire design. To address this issue, we propose in this paper an aspect-oriented approach for specifying and enforcing security hardening solutions. This approach provides software designers with UML-based capabilities to perform security hardening in a clear and organized way, at the UML design level, without the need to be security experts. We also present the SHP profile, a UML-based security hardening language to describe and specify security hardening solutions at the UML design level. Finally, we explore the efficiency and the relevance of our approach by applying it to a real world case study and present the experimental results.