Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security properties, stating for example that no pin verification must take place within a transaction. Behavioural interface specification languages, such as JML (Java Modeling Language), have been successfully used to valid...

In consideration of the safety drivers, we designed a multifunctional intelligent seecurity guarantee integrated system for highway level crossing. Different from existing intersection signs on market, highway-level indicators are based use deep learning and computer vision technology to build convolutional neural network model that can accurately recognize traffic accident images jams in short...

Event-B, a refinement-based formal modelling language, has traditionally focused on safety, but now increasingly finds new role in developing secure systems. In this paper we take fresh look at security and focus what means for the system rather than looking detailed protocols. We use Event-B proving from an abstract view refining it towards design details, focusing refinement of availability p...

User security behavior is all user actions related to computer system security. Previous studies have shown that one of the main causes and information problems in many organizations. In order mitigate this problem, we need find a solution improve organization. This process involves three steps. study emphasizes first step address an organization's behavior. Therefore, aims determine level for ...