This paper deals with the compositional verification of sequential programs. This consists in deciding whether or not a given set of local structural properties of the functions of a program implies a given global behavioural property of the program. Here we consider properties expressed in monadic second-order logic dealing with the control flow of the program and the function calls occuring d...

Responsive polymers attached to the inside of nano/micro-pores have attracted great interest owing to the prospect of designing flow-control devices and signal responsive delivery systems. An intriguing possibility involves functionalizing nanoporous materials with smart polymers to modulate biomolecular transport in response to pH, temperature, ionic concentration, light or electric field. The...

Security and attacks are two sides of the same coin in the smart card industry. Smart cards are prone to different types of attacks to gain access to the assets stored in it and that can cause security issues. It is necessary to identify and exploit these attacks and implement appropriate countermeasures to mitigate their effects. Fault attacks are one among them. They can introduce abnormal be...

Conventionally, power system has a hierarchical control structure including primary, secondary, and tertiary controls. The drawbacks of this hierarchical scheme are manifest: 1) it lacks flexibility and scalability, which is against the trend towards an open access power system; 2) load forecast as the basis of tertiary control could be inaccurate and infeasible, especially in micro-grid for ex...

Chip-Secured XML Access (C-SXA) is a versatile and tamper-resistant XML-based Access Right Controller embedded in a smart card. C-SXA can be used either to protect the privacy of onboard personal data or to control the flow of data extracted from an external source. Tamperresistance is inherited from the smart card for on-board data or achieved using cryptographic techniques for external data. ...

Material Flow Control (MFC) mechanisms control the movement of jobs through a set stationery capacity resources on shop floor. Although objective MFC is item-centric, i.e. to flow individual jobs, most existing are resource-centric, focus managing resources. While this was justified by technical constraints real-time information feedback, advances in technology allow for new designs. In particu...

Abstract The security of smart contract has always been one the significant problems in blockchain. As shown previous studies, vulnerabilities contracts can lead to unpredictable losses. With rapid growth number contracts, more and data driven detection technologies based on machine learning have proposed. However, some state‐of‐the‐art approaches mainly rely source code contract. These methods...

voltage control is one of the imperative issues in the smart distribution control system. while traditional distribution network is equipped with communication and monitoring equipment, the online voltage control can be perfectly achieved. with using these smart grid technologies, the distribution voltage control schemes should carry out intelligently and cover the undesirable effect of high pe...