No abstract

Modern programming languages support constructs like functions and classes that let programmers decompose source programs into modules. However, existing programming environments do not allow programmers to handle configuration management directly with them. Instead, system building and version control are usually handled with different decomposition structures. The modules used in configuration management do not always match the modules in the source code. This is both inconvenient and error-prone, since there is a gap between handling the source code and managing the configurations.In this research we propose a framework for programming environments that handles configuration management directly in terms of the modules in the source code. We define the operations required for this purpose, study their semantics, and find a general strategy to support them. We show that with the ability to handle a large module as a single unit, software reuse and cooperative programming becomes easier. We also design and implement a prototype environment to verify our ideas.

The construction of virtual transportation networks requires massive data to be transmitted from edge devices to Virtual Service Providers (VSP) to facilitate circulations between the physical and virtual domains in Metaverse. Leveraging semantic communication for reducing information redundancy, VSPs can receive semantic data from edge devices to provide varied services through advanced techniques, e.g., AI-Generated Content (AIGC), for users to explore digital worlds. But the use of semantic communication raises a security issue because attackers could send malicious semantic data with similar semantic information but different desired content to break Metaverse services and cause wrong output of AIGC. Therefore, in this paper, we first propose a blockchain-aided semantic communication framework for AIGC services in virtual transportation networks to facilitate interactions of the physical and virtual domains among VSPs and edge devices. We illustrate a training-based targeted semantic attack scheme to generate adversarial semantic data by various loss functions. We also design a semantic defense scheme that uses the blockchain and zero-knowledge proofs to tell the difference between the semantic similarities of adversarial and authentic semantic data and to check the authenticity of semantic data transformations. Simulation results show that the proposed defense method can reduce the semantic similarity of the adversarial semantic data and the authentic ones by up to 30% compared with the attack scheme.

No abstract

No abstract

A digital emergency rescue system is an effective means to achieve accurate rescue, minimize casualties and property losses. When large emergencies occur, medical institutions need to jointly participate in the emergency rescue coordination. But it is hard to share medical resource and injured information, which reduces the efficiency of recue and affects the treatment of injured person.Therefore, this paper proposes a rescue information sharing architecture based on blockchain and distributed storage, which shares data for many medical institutions. Moreover, we propose a new consensus algorithm ERBFT based on reputation models and Verifiable Random Function (VRF) to reduce communication complexity, and maintain the security of blockchain information sharing system.

No abstract

No abstract