Explore the vast range of titles available.

Input validation vulnerabilities are common in Android apps, especially in inter-component communications. Malicious attacks can exploit this kind of vulnerability to bypass Android security mechanism and compromise the integrity, confidentiality and availability of Android devices. However, so far there is not a sound approach at the source code level for app developers aiming to detect input validation vulnerabilities in Android apps. In this paper, we propose a novel approach for detecting input validation flaws in Android apps and we implement a prototype named Easy IVD, which provides practical static analysis of Java source code.Easy IVD leverages backward program slicing to extract transaction and constraint slices from Java source code.Then Easy IVD validates these slices with predefined security rules to detect vulnerabilities in a known pattern.To detect vulnerabilities in an unknown pattern, Easy IVD extracts implicit security specifications as frequent patterns from the duplicated slices and verifies them. Then Easy IVD semi-automatically confirms the suspicious rule violations and reports the confirmed ones as vulnerabilities. We evaluate Easy IVD on four versions of original Android apps spanning from version 2.2 to 5.0. It detects 58 vulnerabilities including confused deputy attacks and denial of service attacks. Our results prove that Easy IVD can provide a practical defensive solution for app developers.

Retaining gob-side entryways and the stability of gas drainage boreholes are two essential techniques in the co-extraction of coal and gas without entry pillars （CECGWEP）. However, retained entryways located in deep coal mines are hard to maintain, especially for constructing boreholes in confined spaces, owing to major deformations. Consequently, it is difficult to drill boreholes and maintain their stability, which therefore cannot guarantee the effectiveness of gas drainage. This paper presents three measures for conducting CECGWEP in deep mines on the basis of effective space in retained entryways for gas drainage, They are combinations of retaining roadways and face-lagging inclined boreholes, retaining roadways and face-advancing inclined boreholes, and retaining roadways and high return airway inclined boreholes. Several essential techniques are suggested to improve the maintenance of retained entryways and the stabilization of boreholes. For the particular cases considered in this study, two field trials have verified the latter two measures from the results obtained from the faces 1111（1） and 11112（1） in the Zhuji Mine. The results indicate that these models can effectively solve the problems in deep mines. The maximum gas drainage flow for a single hole can reach 8.1 m^3/min and the effective drainage distance can be extended up to 150 m or more.

The mortgage loan has evolved from a local lending instrument into a major global security and its role is unparallel to other financial instruments in the process of financial globalization. This paper explains how technology and financial innovation transformed the mortgage loan from a local security into a premier global security traded worldwide. It examines the fundamental flaws of this process and why it does not work in regards to mortgage lending and the re-securitization products that were created through financial innovation. The findings show that regulation was unable to keep pace with financial innovation, which created an environment where actors in the financial service sector were able to behave geographically irresponsibly by using information asymmetries to their advantage by participating in moral hazard activities and engaging in other immoral and unethical business practices that were centered around localized geography, which ultimately contributed to the global financial crisis. It also examines the roll of financial innovation in regard to the Lehman Brothers Mini-Bond in Hong and its role as a driving force behind China’s newly emerging shadow banking sector. It concludes with a policy recommendation and its implication for China’s continued economic development.

Secure multiparty computation has become a central research focus in the international cryptographic community. Secure comparing two sets is an important problem in secure multiparty computation. The research on privately determining whether two sets are equal has not been investigated. This study solves the problem by mapping these sets into natural numbers and then comparing corresponding numbers. We propose two secure multiparty computation protocols for comparing two sets. It is proved by well-accepted simulation paradigm that these solutions are private in semi-honest model. These solutions have important significance in constructing other secure multiparty computation protocols.

Experimental investigations were conducted on the process of combustion and explosion vent in a 200 mm (diameter)×400 mm (length) vertical cylindrical vessel. When CH4-air mixture gases were used and the vent diameter was 55 mm,conditions of φ (equivalent ratio)=0.8, φ=1.0 and φ=1.3 and two ignition positions (at the cylinder center and bottom) were selected. The venting processes and the correlated factors are discussed in this paper.

以葫芦岛市图书馆新馆网络建设实践为例,从图书馆网络构建目标、整体规划、无线网络、硬件配置、布线施工以及安全防护策略等方面阐述优化整合网络,设计实现全新的无线网络架构,为数字图书馆建设和图书馆服务创新提供保障。

文章证明一种关联性,即信息资源的有效保护与全方位降低图书馆信息安全风险的策略之间的关联。简要描述当今图书馆安全防护的对象和面临的主要威胁,在对图书馆业务流程分析的基础上,提出信息资源的规范化、访问权限的更新各阶段的流程图以及信息系统在信息安全总体系统中的定位模型;以方框图的方式,演示安全威胁及漏洞的处理流程,并针对信息安全风险设计出＂知识元＂模型。最后,提出在图书馆组织架构里面设置关于信息安全防护的关键岗位及制定相关的职责。