To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities ...To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities as possible.To compare static analysis tools for web applications,an adapted benchmark to the vulnerability categories included in the known standard Open Web Application Security Project(OWASP)Top Ten project is required.The information of the security effectiveness of a commercial static analysis tool is not usually a publicly accessible research and the state of the art on static security tool analyzers shows that the different design and implementation of those tools has different effectiveness rates in terms of security performance.Given the significant cost of commercial tools,this paper studies the performance of seven static tools using a new methodology proposal and a new benchmark designed for vulnerability categories included in the known standard OWASP Top Ten project.Thus,the practitioners will have more precise information to select the best tool using a benchmark adapted to the last versions of OWASP Top Ten project.The results of this work have been obtaining using widely acceptable metrics to classify them according to three different degree of web application criticality.展开更多
Land use-induced land cover change(LUCC)is an important anthropogenic driving force of global change that has influenced,and is still influencing,many aspects of regional and global environments.Accurate historical gl...Land use-induced land cover change(LUCC)is an important anthropogenic driving force of global change that has influenced,and is still influencing,many aspects of regional and global environments.Accurate historical global land use/cover datasets are essential for a better understanding of the impacts of LUCC on global change.However,there are not only evident inconsistencies in current historical global land use/cover datasets,but inaccuracies in the data in these global dataset revealed by historical record-based reconstructed regional data throughout the world.A focus in historical LUCC and global change research relates to how the accuracy of historical global land cover datasets can be improved.A methodology for assessing the credibility of existing historical global land cover datasets that addresses temporal as well as spatial changes in the amount and distribution of land cover is therefore needed.Theoretically,the credibility of a global land cover dataset could be assessed by comparing similarities or differences in the data according to actual land cover data(the"true value").However,it is extremely difficult to obtain historical evidence for assessing the credibility of historical global land cover datasets,which cannot be verified through field sampling like contemporary global land cover datasets.We proposed a methodological framework for assessing the credibility of global land cover datasets.Considering the types and characteristics of the available evidence used for assessments,we outlined four methodological approaches:(1)accuracy assessment based on regional quantitative reconstructed land cover data,(2)rationality assessment based on regional historical facts,(3)rationality assessment based on expertise,and(4)likelihood assessment based on the consistency of multiple datasets.These methods were illustrated through five case studies of credibility assessments of historical cropland cover data.This framework can also be applied in assessments of other land cover types,such as forest and grassland.展开更多
Ecosystems are becoming damaged or degraded as a result of stresses especially associated with human activities.A healthy ecosystem is essential to provide the services that humans and the natural environment require ...Ecosystems are becoming damaged or degraded as a result of stresses especially associated with human activities.A healthy ecosystem is essential to provide the services that humans and the natural environment require and has tremendous social and economic value.Exploration of the definition of ecosystem health includes what constitutes health and what it means to be healthy.To evaluate ecosystem health,it is necessary to quantify ecosystem conditions using a variety of indicators.In this paper,the main principles and criteria for indicator selection,classification of indicators for different kinds of ecosystems,the most appropriate indicators for measuring ecosystem sustainability,and various methods and models for the assessment of ecosystem health are presented.Drivers,sustainability,and resilience are considered to be critical factors for ecosystem health and its assessment.Effective integration of ecological understanding with socioeconomic,biophysical,biogeochemical,and public-policy dimensions is still the primary challenge in this field,and devising workable strategies to achieve and maintain ecosystem health is a key future challenge.展开更多
The scientific literature presents a modest amount ot evidence m the use or complementary ana al[erna- tire medicine (CAM). On the other hand, in practice, relevant results are common. The debates among CAM practiti...The scientific literature presents a modest amount ot evidence m the use or complementary ana al[erna- tire medicine (CAM). On the other hand, in practice, relevant results are common. The debates among CAM practitioners about the quality and execution of scientific research are important, Therefore, the aim of this review is to gather, synthesize and describe the differentiated methodological models that encompass the complexity of therapeutic interventions. The process of bringing evidence-based medicine into clinical practice in CAM is essential for the growth and strengthening of complementary medicines worldwide.展开更多
文摘To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities as possible.To compare static analysis tools for web applications,an adapted benchmark to the vulnerability categories included in the known standard Open Web Application Security Project(OWASP)Top Ten project is required.The information of the security effectiveness of a commercial static analysis tool is not usually a publicly accessible research and the state of the art on static security tool analyzers shows that the different design and implementation of those tools has different effectiveness rates in terms of security performance.Given the significant cost of commercial tools,this paper studies the performance of seven static tools using a new methodology proposal and a new benchmark designed for vulnerability categories included in the known standard OWASP Top Ten project.Thus,the practitioners will have more precise information to select the best tool using a benchmark adapted to the last versions of OWASP Top Ten project.The results of this work have been obtaining using widely acceptable metrics to classify them according to three different degree of web application criticality.
基金supported by the National Key Research and Development Program of China on Global Change(Grant No.2017YFA0603304)the National Natural Science Foundation of China(Grant No.41807433)。
文摘Land use-induced land cover change(LUCC)is an important anthropogenic driving force of global change that has influenced,and is still influencing,many aspects of regional and global environments.Accurate historical global land use/cover datasets are essential for a better understanding of the impacts of LUCC on global change.However,there are not only evident inconsistencies in current historical global land use/cover datasets,but inaccuracies in the data in these global dataset revealed by historical record-based reconstructed regional data throughout the world.A focus in historical LUCC and global change research relates to how the accuracy of historical global land cover datasets can be improved.A methodology for assessing the credibility of existing historical global land cover datasets that addresses temporal as well as spatial changes in the amount and distribution of land cover is therefore needed.Theoretically,the credibility of a global land cover dataset could be assessed by comparing similarities or differences in the data according to actual land cover data(the"true value").However,it is extremely difficult to obtain historical evidence for assessing the credibility of historical global land cover datasets,which cannot be verified through field sampling like contemporary global land cover datasets.We proposed a methodological framework for assessing the credibility of global land cover datasets.Considering the types and characteristics of the available evidence used for assessments,we outlined four methodological approaches:(1)accuracy assessment based on regional quantitative reconstructed land cover data,(2)rationality assessment based on regional historical facts,(3)rationality assessment based on expertise,and(4)likelihood assessment based on the consistency of multiple datasets.These methods were illustrated through five case studies of credibility assessments of historical cropland cover data.This framework can also be applied in assessments of other land cover types,such as forest and grassland.
基金This work was supported by the National Natural Science Foundation of China(41371488,41420104004)the International Scientific Cooperation Program with Grant No.2012DFA91150)the Key Research Program of the Chinese Academy of Sciences(No.KZZD-EW-TZ-12).
文摘Ecosystems are becoming damaged or degraded as a result of stresses especially associated with human activities.A healthy ecosystem is essential to provide the services that humans and the natural environment require and has tremendous social and economic value.Exploration of the definition of ecosystem health includes what constitutes health and what it means to be healthy.To evaluate ecosystem health,it is necessary to quantify ecosystem conditions using a variety of indicators.In this paper,the main principles and criteria for indicator selection,classification of indicators for different kinds of ecosystems,the most appropriate indicators for measuring ecosystem sustainability,and various methods and models for the assessment of ecosystem health are presented.Drivers,sustainability,and resilience are considered to be critical factors for ecosystem health and its assessment.Effective integration of ecological understanding with socioeconomic,biophysical,biogeochemical,and public-policy dimensions is still the primary challenge in this field,and devising workable strategies to achieve and maintain ecosystem health is a key future challenge.
文摘The scientific literature presents a modest amount ot evidence m the use or complementary ana al[erna- tire medicine (CAM). On the other hand, in practice, relevant results are common. The debates among CAM practitioners about the quality and execution of scientific research are important, Therefore, the aim of this review is to gather, synthesize and describe the differentiated methodological models that encompass the complexity of therapeutic interventions. The process of bringing evidence-based medicine into clinical practice in CAM is essential for the growth and strengthening of complementary medicines worldwide.