|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Test Data Generation for Stateful Network Protocol Fuzzing Using a Rule-Based State Machine显示文摘To improve the efficiency and coverage of stateful network protocol fuzzing, this paper proposes a new method, using a rule-based state machine and a stateful rule tree to guide the generation of fuzz testing data. The method first builds a rule-based state machine model as a formal description of the states of a network protocol.This removes safety paths, to cut down the scale of the state space. Then it uses a stateful rule tree to describe the relationship between states and messages, and then remove useless items from it. According to the message sequence obtained by the analysis of paths using the stateful rule tree and the protocol specification, an abstract data model of test case generation is defined. The fuzz testing data is produced by various generation algorithms through filling data in the fields of the data model. Using the rule-based state machine and the stateful rule tree,the quantity of test data can be reduced. Experimental results indicate that our method can discover the same vulnerabilities as traditional approaches, using less test data, while optimizing test data generation and improving test efficiency. | Rui Ma Daguang Wang Changzhen Hu Wendong Ji Jingfeng Xue | 2016 | Tsinghua Science and Technology2016，21，3： | 13 |
| 2 | Semi-valid Fuzz Testing Case Generation for Stateful Network Protocol显示文摘Network protocols are divided into stateless and stateful.Stateful network protocols have complex communication interactions and state transitions.However,the existing network protocol fuzzing does not support state transitions very well.This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol(SFSNP).The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine,and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally,it obtains fuzzing sequences.Moreover,because different test sequences may have the same state transitions,the SFSNP uses the state transition marking algorithm to reduce redundant test cases.By using the stateful rule tree of the protocol,the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain,and finally forms fuzzing sequences.Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases.The SFSNP can reduce redundancy and shorten testing time. | Rui Ma Shuaimin Ren Ke Ma Changzhen Hu Jingfeng Xue | 2017 | Tsinghua Science and Technology2017，22，5： | 6 |
| 3 | NMR assignments and characterization of the DNA-binding domain of Arabidopsis transcription factor WRKY11--Dedicated to Professor Xiuwen Han on the occasion of her 80th birthday显示文摘The WRKY proteins are a family of plant-specific transcription factors(TFs)that are widely involved in plant development and anti-stress responses.Arabidopsis WRKY11(AtWRKY11)functions in regulating plant defense against abiotic stress and belongs to the Ild subgroup of WRKY TFs.We herein report the expres sion,purification and preliminary structural characterization of AtWRKY11 DNA-binding domain(DBD)using solution NMR Almost complete backbone chemical shift assignments of AtWRKY11-DBD have been ob-tained.Chemical shift-based secondary structure analysis suggests that AtWRKY11-DBD may exhibit local conformational diferences from the X-ray structure of the C-terminal WRKY domain of AtWRKY1,particularly in the β1 and β5 strands.Our current study provides the basis for further structural and interactional studies. | Jiannan Wang Yaling Lin Qinjun Zhu Jingfeng Zhang Maili Liu Yunfei Hu | 2021 | Magnetic Resonance Letters2021，1，2： | 2 |
| 4 | Transpacific transport and evolution of the optical properties of Asian dust显示文摘 | Zhaoyan Liu T. Duncan Fairlie Itsushi Uno Jingfeng Huang Dong Wu Ali Omar Jayanta Kar Mark Vaughan Raymond Rogers David Winker Charles Trepte Yongxiang Hu Wenbo Sun Bing Lin Anning Cheng | 2013 | Journal of Quantitative Spectroscopy and Radiative Transfer2013，，： | 1 |
| 5 | Microporous polyethersulfone membranes prepared under the combined precipitation conditions with non- solvent additives显示文摘 | Li Jingfeng Xu Zhenliang Yang Hu | 2008 | Polymers for Advanced Technologies2008，19，4： | 1 |
| 6 | Hpyerglycemic Effect of a Mixture of Sea Cucumber and Cordyceps Sinensis in StreptozotocinInduced Diabetic Rat显示文摘Sea cucumber and cordyceps sinensis are used as both food and traditional medicines in Asia. This study was carried out in order to investigate the hpyerglycemic effect of a mixture of sea cucumber(Apostichopus japonicas) and cordyceps sinensis(Cordyceps militaris)(SCC) in diabetic rat and explore the mechanism underlining such an effect. The diabetic model rat was induced with intraperitoneal injection of streptozotocin(STZ). The diabetic model rats were randomly divided into control group(0.9% NaCl), low dose group(300 mg SCC·(kg body weight)-1) and high dose group(1200 mg SCC(kg body weight)-1). Sodium chloride and SCC were intragastrically administered once a day for 35 d. Changes in fasting serum glucose and serum insulin content, oral glucose tolerance and liver and muscle glycogen content were routinely evaluated. Pancreas tissue and β-cells of islets were observed under both optical and transmission electronic microscope, respectively. The abundance of glucose metabolism-relating genes in gastrocnemius and epididymal adipose tissue was determined with either reverse transcription PCR(RT-PCR) or western blotting. Results showed that SCC significantly decreased fasting serum glucose content, improved glucose tolerance and increased serum insulin and glycogen content; repaired STZ-injured β-cells of diabetic rat, and increased the expression of phosphatidylinositol 3 kinase(PI(3)K), protein kinase B(PKB) and glucose transporter 4(Glut4) encoding protein in both gastrocnemius and adipose tissue, and Glut4 encoding gene in peripheral tissue. Our findings demonstrated that SCC exerted an anti-hyperglycemic effect by repairing β-cells and promoting insulin-mediated signal transduction pathway in insulin-sensitive gastrocnemius and adipose tissue. | HU Shiwei WANG Jingfeng LI Zhaojie FU Jia WANG Yuming XUE Changhu | 2014 | Journal of Ocean University of China2014，13，2： | 1 |
| 7 | Effect of TiO2 nanopartieles on the surface morphology and performance of microporous PES membrane 显示文摘 | Li Jingfeng Xu Zhenliang Yang Hu | 2009 | Appl Surf Sei2009，255，： | 1 |
| 8 | 内侧缰核胆碱能神经元GABAB受体通过突触前兴奋作用调控动物恐惧记忆显示文摘动物的生存依赖于将预警信号和危险联系起来.对预警信号形成恐惧记忆,以便提前做出反应。当预警信号不再与危险相关时,动物逐渐解除这种联系,消退恐惧记忆,以适应新的生存环境。恐惧记忆消退缺陷被认为和人类创伤后应激障碍(PTSD)等精神障碍有紧密关系。目前关于动物恐惧记忆的研究主要集中在杏仁核及其相关脑区。 | 张举恩 Lubin Tan Yuqi Ren Jingwen Liang Rui Lin Qiru Feng Jingfeng Zhou Fei Hu Jing Ren Chao Wei Tao Yu Yinghua Zhuang Bernhard Bettler Fengchao Wang 罗敏敏 | 2017 | 科学新闻2017，19，4： | 1 |
| 9 | Breeding of a New Clubroot-resistant Chinese Cabbage Variety, CCR11242显示文摘In this study,using Japanese radish cytoplasmic sterile line ' Half Green Cabbage'( HGC) and clubroot-resistant South Korean cabbage variety ' CR Cabbage King'( CCK) as experimental materials,self-incompatible DH lines were obtained by microspore culture.Through five generations of backcross,CCR11239,a clubroot-resistant radish cytoplasmic sterile line,was obtained.Through six generations of self-crossing,CCR11240,the maintainer line of CCR11239,was bred.After the cross of CCK and Luchunbai 1( 83- 1) and five generations of self-crossing,self-compatible line CCR11241 was obtained.Through crossing CCR11240 with CCR11241,the new cabbage variety CCR11242 was obtained.After variety comparison test,provincial regional test and production demonstration test,the new variety was registered in 2012.The average yield of CCR11242 reached 60 975 kg / hm2,which was improved by 142% compared with Luchunbai 1( 83- 1).The disease index of CCR11242 was 5.63,which was 88.13 lower than the control,indicating high resistance( HR) to clubroot. | Xuezhong XU Zhimei TIAN Hongli YANG Jingfeng HU Liqin ZHANG Mei LAN Hongju DUAN Jiangming HE | 2016 | Agricultural Biotechnology2016，5，5： | 1 |
| 10 | An Improved ID-Based Group Key Agreement Protocol显示文摘ID-based constant-round group key agreement protocols are efficient in both computation and communication,but previous protocols did not provide valid message authentication.An improvement based on attack analysis is proposed in this paper.The improved method takes full advantage of the data transmitted at various stages of the protocol.By guaranteeing the freshness of authentication messages,the authenticity of the generator of authentication messages,and the completeness of the authenticator,the improved protocol can resist various passive and active attacks.The forward secrecy of the improved protocol is proved under a Katz-Yung(KY)model.Compared with existing methods,the improved protocol is more effective and applicable. | Kangwen Hu Jingfeng Xue Changzhen Hu Rui Ma Zhiqiang Li | 2014 | Tsinghua Science and Technology2014，19，5： | 1 |
| 11 | Dietary saponins of sea cucumber alleviate orotic acid- induced fatty liver in rats via PPARa and SREBP-lc signaling显示文摘 | Xiaoqian Hu Yuming Wang Jingfeng Wang | 2010 | Lipids in Health and Disease2010，9，1： | 1 |
| 12 | Isolated Microspore Culture and Plant Regeneration of Leaf Mustard(Brassica juncea(L.)Czern.et Coss.)显示文摘Isolated microspore culture was carried out with Brassica juncea to study the effects of sterilization methods,culture period of embryos,hormone formula and the concentration of activated carbon on embryogenesis,and the concentration of NAA on induction of roots. The results showed that the embryogenesis on medium subjected to filter sterilization is better than medium subjected to autoclaved sterilization. The embryos cultured for 15 d had the highest plantlet regeneration rate( 52%). NLN-13 liquid medium including 0. 1 mg / L 6-BA and 0. 2 g / L activated carbon significantly improved the plantlet regeneration rate. 1 /2 MS including 0. 3 mg / L NAA had the highest plantlet regeneration rate( 100%). | Hongli YANG Jingfeng HU Xuezhong XU Jiangming HE Shuang SONG 无 | 2016 | Agricultural Biotechnology2016，5，6： | 1 |
| 13 | Agent-based modeling approach for evaluating underground logistics system benefits and long-term development in megacities显示文摘Mobility,pollution,and other barriers against sustainable goods movement are pushing local administrators to seek innovations in urban transportation infrastructure.The urban underground logistics system(ULS)has been recognized as a prospective alternative to realize large-scale automated freight distribution within and around megacities.This paper proposes an integrated approach combing system dynamics and agent-based modeling to evaluate the long-term development and operating status of a city-wide ULS project.The project boundaries regarding underground network expansion,stakeholders’attributes,and social-environmental benefit metrics were structured as eight highly-interacted agent modules.Critical decision variables of agents in terms of supply-demand equilibrium,investment plan,pricing-to-market and willingness-to-pay were incorporated into three formulized subsystem models.From empirical perspective,the urban territory of Beijing,China,was taken as a case to simulate the development footprints of ULS project under different funding options and market acceptance degrees.Results show that ULS has significant competence with respect to service capacity and profitability,while enabling billions of dollars of external cost-saving annually.Moreover,the comprehensive performance of ULS project regarding economic incomes,benefits,market demand,and construction schedule can reach satisfactory trade-offs through adaptively adjusting the funding policies,incentives and pricing portfolios during project development. | Wanjie Hu Jianjun Dong Jingfeng Yuan Rui Ren ZHIlong Chen Helan Cheng | 2022 | Journal of Management Science and Engineering2022，7，2： | 1 |
| 14 | Complete coverage of reduced graphene oxide on silicon dioxide substrates显示文摘Reduced graphene oxide(RGO) has the advantage of an aqueous and industrial-scale production route. No other approaches can rival the RGO field effect transistor platform in terms of cost( | Huang Jingfeng Melanie Larisika Chen Hu Steve Faulkner Myra A.Nimmo Christoph Nowak Alfred Tok Iing Yoong | 2014 | Chinese Physics B2014，23，8： | 0 |
| 15 | Memory Safety Based on Probabilistic Memory Allocation显示文摘Some unsafe languages,like C and C++,let programmers maximize performance but are vulnerable to memory errors which can lead to program crashes and unpredictable behavior.Aiming to solve the problem,traditional memory allocating strategy is improved and a new probabilistic memory allocation technology is presented.By combining random memory allocating algorithm and virtual memory,memory errors are avoided in all probability during software executing.By replacing default memory allocator to manage allocation of heap memory,buffer overflows and dangling pointers are prevented.Experiments show it is better than Diehard of the following aspects:memory errors prevention,performance in memory allocation set and ability of controlling working set.So probabilistic memory allocation is a valid memory errors prevention technology and it can tolerate memory errors and provide probabilistic memory safety effectively. | Xue Jingfeng Hu Changzhen Guo Xiaojing Leng Bingxing Ma Rui | 2012 | China Communications2012，9，4： | 0 |
| 16 | Enhancing the aromatic selectivity of cyclohexane aromatization by CO_(2)coupling显示文摘Improving the aromatic selectivity in the alkane aromatization process is of great importance for its practical utilization but challenge to make because the high H/C ratio of alkanes would lead to a serious hydrogen transfer process and a large amount of light alkanes.Herein,CO_(2)is introduced into the cyclohexane conversion process on the HZSM-5 zeolite,which can improve the aromatic selectivity.By optimizing the reaction conditions,an improved aromatic(benzene,toluene,xylene,and C9+)selectivity of 48.2%can be obtained at the conditions of 2.7 MPa(CO_(2)),450℃,and 1.7 h^(−1),which is better than that without CO_(2)(aromatic selectivity=43.2%).In situ transmission Fourier transform infrared spectroscopy spectra illustrate that many oxygenated chemical intermediates(e.g.,carboxylic acid,anhydride,unsaturated aldehydes/ketones or ketene)would be formed during the cyclohexane conversion process in the presence of CO_(2).13C isotope labeling experimental results demonstrate that CO_(2)can enter into the aromatics through the formation of oxygenated chemical intermediates and thereby improve the aromatic selectivity.This study may open a green,economic,and promising way to improve the aromatic selectivity for alkane aromatization process. | Xiangxiang Ren Zhong-Pan Hu Jingfeng Han Yingxu Wei Zhongmin Liu | 2023 | Frontiers of Chemical Science and Engineering2023，17，11： | 0 |
| 17 | Inheritance of Clubroot Resistance of Miniature Chinese Baby Cabbage and Molecular Markers-assisted Selection显示文摘[Objective] The paper was to analyze the inheritance of clubroot resistance of miniature Chinese baby cabbage,to shorten identification time and to improve breeding efficacy of new disease-resistant varieties. [Method] Taking clubroot-resistant Chinese cabbage CCR001,disease-susceptible baby cabbage CM002,and their F_1,F_2 and BC_1 offspring as the research objects,the inheritance of clubroot resistance of baby cabbage was studied. [Result]The clubroot-resistance of baby cabbage was controlled by a single dominant gene,which conformed to Mendel's Laws of inheritance. The molecular markers-assisted selection combing with bacterial soil inoculation confirmed that the disease-resistance indeed passed on from the parents,and was inherited in F_1 and F_2. [Conclusion]It is feasible to breed clubroot-resistant baby cabbage by using molecular markers-assisted selection. | Hu Jingfeng Yang Hongli Xu Xuezhong He Jiangming Chen Longzheng | 2017 | Plant Diseases and Pests2017，8，5： | 0 |
| 18 | A Practical Online Approach to Protecting Kernel Heap Buffers in Kernel Modules显示文摘Heap overflow attack is one of the major memory corruption attacks that have become prevalent for decades. To defeat this attack,many protection methods are proposed in recent years. However,most of these existing methods focus on user-level heap overflow detection. Only a few methods are proposed for kernel heap protection. Moreover,all these kernel protection methods need modifying the existing OS kernel so that they may not be adopted in practice. To address this problem,we propose a lightweight virtualization-based solution that can protect the kernel heap buffers allocated for the target kernel modules. The key idea of our approach is to combine the static binary analysis and virtualization technology to trap a memory allocation operation of the target kernel module,and then add one secure canary word to the end of the allocated buffer. After that,a monitor process is launched to check the integrity of the canaries. The evaluations show that our system can detect kernel heap overflow attacks effectively with minimal performance cost. | Donghai Tian Xiaoqi Jia Junhua Chen Changzhen Hu Jingfeng Xue | 2016 | China Communications2016，13，11： | 0 |
| 19 | Functional verification of the diphtheria toxin A gene in a recombinant system显示文摘Diphtheria toxin A (DTA), a segment of the diphtheria toxin (tox), inhibits protein synthesis in cells. When released from a cell, DTA is nontoxic and cannot enter other cells independently without the help of diphtheria toxin B. In this study, we artificially synthesized the DTA gene sequence and cloned it into pEGFP-N1 to generate the recombinant vector pEGFP-N1-DTA. This recombinant vector was then transfected into 293T cells to observe the effect of DTA protein expression on enhanced green fluorescent protein (EGFP) protein expression and the proliferation of 293T cells. After 48 h, high levels of EGFP expression were seen in control pEGFP-N1-transfected cells, whereas very low levels were seen in cells transfected with pEGFP-N1-DTA. Reverse transcription polymerase chain reaction confirmed the expression of the DTA gene in cells transfected with pEGFP-N1-DTA. Further, the 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide (MTT) assay revealed a significant difference in cell proliferation between the control group and the pEGFP-N1-DTA-transfected group. Using the expression of EGFP expression as an indicator, this study revealed that DTA expression can inhibit intracellular protein synthesis and cell proliferation. | Jingfeng Zhang Hengxi Wei Xinzheng Guo Minghua Hu Fenglei Gao Li Li Shouquan Zhang | 2013 | Journal of Animal Science and Biotechnology2013，4，1： | 0 |
| 20 | B-lymphoid tyrosine kinase-mediated FAM83A phosphorylation elevates pancreatic tumorigenesis through interacting with β-catenin显示文摘Abnormal activation of Wnt/β-catenin-mediated transcription is closely associated with the malignancy of pancreatic cancer.Family with sequence similarity 83 member A(FAM83A)was shown recently to have oncogenic effects in a variety of cancer types,but the biological roles and molecular mechanisms of FAM83A in pancreatic cancer need further investigation.Here,we newly discovered that FAM83A binds directly toβ-catenin and inhibits the assembly of the cytoplasmic destruction complex thus inhibiting the subsequent phosphorylation and degradation.FAM83A is mainly phosphorylated by the SRC non-receptor kinase family member BLK(B-lymphoid tyrosine kinase)at tyrosine 138 residue within the DUF1669 domain that mediates the FAM83A-β-catenin interaction.Moreover,FAM83A tyrosine 138 phosphorylation enhances oncogenic Wnt/β-catenin-mediated transcription through promotingβ-catenin-TCF4 interaction and showed an elevated nucleus translocation,which inhibits the recruitment of histone deacetylases by TCF4.We also showed that FAM83A is a direct downstream target of Wnt/β-catenin signaling and correlates with the levels of Wnt target genes in human clinical pancreatic cancer tissues.Notably,the inhibitory peptides that target the FAM83A-β-catenin interaction significantly suppressed pancreatic cancer growth and metastasis in vitro and in vivo.Our results revealed that blocking the FAM83A cascade signaling defines a therapeutic target in human pancreatic cancer. | Cefan Zhou Xiaoting Zhu Nanxi Liu Xueying Dong Xuewen Zhang Huili Huang Yu Tang Shicheng Liu Mengyu Hu Ming Wang Xiaoling Deng Shi Li Rui Zhang Yuan Huang Hao Lyu Shuai Xiao Sang Luo Declan William Ali Marek Michalak Xing-Zhen Chen Zhentian Wang Jingfeng Tang | 2023 | Signal Transduction and Targeted Therapy2023，8，3： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员