Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Analyzing Semantics of Documents by Using a Program Analysis Method

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Sato, H. ; Inf. Technol. Center, Univ. of Tokyo, Tokyo, Japan

Because documents play a central role in real business workflow, analysis of their semantics leads to role analysis in an organization. In this paper, we give semantics of documents by using DTL (document tree logic), which is similar to computational tree logic in program analysis. By using documents and giving semantics in DTL, we can embed results of business workflow in which the sequences of events such as requests and approvals are essential as a business process. The order of approvals is represented by digital signatures, and thus a digital document can be regarded as a model of predefined business semantics based on roles and approvals. We show that access control is enriched by using documents representing workflow. Authorization is done as validating a DTL formula associated with a document. A document is considered to carry a model of DTL that can embed business processes. Therefore, a user can claim the userpsilas authority by submitting an appropriate digitally signed document.

Published in:

Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International  (Volume:1 )

Date of Conference:

20-24 July 2009