A Formal Approach for Securing XML Document

With the ever increasing demand for the Web-based applications over the Internet, the related security issue has become a great concern. Web document security has been studied by many researchers and various security mechanisms have been proposed. The aim of this article is to investigate the security issue of the XML documents. We discuss a protection mechanism and investigate a formal approach to ensure the security of Web-based XML documents. Our approach starts by introducing a high level language to specify an XML document and its protection authorizations. We also discuss and investigate the syntax and semantics of the language. The flexible and powerful access control specification can effectively protect the documents from unauthorized attempts.

Download Full-text

A Formal Approach for Securing XML Document

Security-Aware Systems Applications and Software Development Methods ◽

10.4018/978-1-4666-1580-9.ch013 ◽

2012 ◽

pp. 234-246

Author(s):

Yun Bai

Keyword(s):

Security Issue ◽

Formal Approach ◽

Web Based ◽

Protection Mechanism ◽

Xml Documents ◽

Web Document ◽

Document Security ◽

Xml Document ◽

Increasing Demand ◽

High Level

With the ever increasing demand for the Web-based applications over the Internet, the related security issue has become a great concern. Web document security has been studied by many researchers and various security mechanisms have been proposed. The aim of this paper is to investigate the security issue of the XML documents. We discuss a protection mechanism and investigate a formal approach to ensure the security of Web-based XML documents. Our approach starts by introducing a high level language to specify an XML document and its protection authorizations. We also discuss and investigate the syntax and semantics of the language. The flexible and powerful access control specification can effectively protect the documents from unauthorized attempts.

Download Full-text

Supporting Structural Evolution of Data in Web-Based Systems via Schema Versioning in the tXSchema Framework

Advances in Computer and Electrical Engineering - Handbook of Research on Contemporary Perspectives on Web-Based Systems ◽

10.4018/978-1-5225-5384-7.ch013 ◽

2018 ◽

pp. 271-307 ◽

Cited By ~ 2

Author(s):

Zouhaier Brahmia ◽

Fabio Grandi ◽

Barbara Oliboni ◽

Rafik Bouaziz

Keyword(s):

Operational Semantics ◽

Structural Evolution ◽

Xml Schema ◽

Web Based ◽

Xml Documents ◽

Schema Versioning ◽

Safe Management ◽

A New Technique ◽

High Level ◽

Over Time

τXSchema is a framework for creating and validating temporal XML documents, while using a temporal schema that consists of three components: a conventional XML schema document annotated with a set of temporal logical and physical annotations. Each one of these components can evolve over time to reflect changes in the real world. In addition, schema versioning has been long advocated to be the most efficient way to keep track of both data and schema evolution. Hence, in this chapter the authors complete τXSchema, which is predisposed from the origin to support schema versioning, by defining the operations that are necessary to exploit such a feature and make schema versioning functionalities available to end users. Precisely, the authors' approach provides a complete and sound set of change primitives and a set of high-level change operations, for the maintenance of each component of a τXSchema schema, and defines their operational semantics. Furthermore, they propose a new technique for schema versioning in τXSchema, allowing a complete, integrated, and safe management of schema changes.

Download Full-text

Using a high-level language to describe and create Web-based learning scenarios

FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH37011 ◽

10.1109/fie.1999.841711 ◽

2003 ◽

Cited By ~ 4

Author(s):

M. Rodriguez-Artacho ◽

M.E. Verdejo ◽

J.J. Mayorga ◽

M.Y. Calero

Keyword(s):

High Level Language ◽

Web Based ◽

Web Based Learning ◽

Learning Scenarios ◽

High Level

Download Full-text

THE IMPACT OF UKRAINE'S EXCISE DUTY POLICY ON THE TRANSFORMATION PROCESSES OF THE TOBACCO MARKET

Economy of Ukraine ◽

10.15407/economyukr.2020.10.019 ◽

2020 ◽

Vol 2020 (10) ◽

pp. 19-33

Author(s):

Nadiia NOVYTSKA ◽

◽

Inna KHLIEBNIKOVA ◽

Keyword(s):

Structural Changes ◽

Tax Avoidance ◽

Transformation Process ◽

State Regulation ◽

Tobacco Products ◽

Excise Duty ◽

Increasing Demand ◽

High Level ◽

The Impact ◽

Transformation Processes

The market of tobacco products in Ukraine is one of the most dynamic and competitive. It develops under the influence of certain factors that cause structural changes, therefore, the aim of the article is to conduct a comprehensive analysis of transformation processes in the market of tobacco and their alternatives in Ukraine and identify the factors that cause them. The high level of tax burden and the proliferation of alternative products with a potentially lower risk to human health, including heating tobacco products and e-cigarettes, are key factors in the market’s transformation process. Their presence leads to an increase in illicit turnover of tobacco products, which accounts for 6.37% of the market, and the gradual replacement of cigarettes with alternative products, which account for 12.95%. The presence on the market of products that are not taxed or taxed at lower rates is one of the reasons for the reduction of excise duty revenues. According to the results of 2019, the planned indicators of revenues were not met by 23.5%. Other reasons for non-fulfillment of excise duty revenues include: declining dynamics of the tobacco products market; reduction in the number of smokers; reorientation of «cheap whites» cigarette flows from Ukraine to neighboring countries; tax avoidance. Prospects for further research are identified, namely the need to develop measures for state regulation and optimization of excise duty taxation of tobacco products and their alternatives, taking into account the risks to public health and increasing demand of illegal products.

Download Full-text