A Logical Method for Policy Enforcement over Evolving Audit Logs

We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule. The logic has three features that raise challenges for enforcement --- uninterpreted predicates (used to model subjective concepts in privacy policies), real-time temporal properties, and quantification over infinite domains (such as the set of messages containing personal information). The algorithm operates over audit logs that are inherently incomplete and evolve over time. In each iteration, the algorithm provably checks as much of the policy as possible over the current log and outputs a residual policy that can only be checked when the log is extended with additional information. We prove correctness and termination properties of the algorithm. While these results are developed in a general form, accounting for many different sources of incompleteness in audit logs, we also prove that for the special case of logs that maintain a complete record of all relevant actions, the algorithm effectively enforces all safety and co-safety properties. The algorithm can significantly help automate enforcement of policies derived from the HIPAA Privacy Rule.Comment: Carnegie Mellon University CyLab Technical Report. 51 page

METHOD OF WRITING DISCURSIVE ESSAYS ON SOCIAL AND PEDAGOGICAL TOPICS

The article discusses essential problems of discursive essay writing method during professional formation of a future teacher, conceptual approaches and technique of step-by-step preparation for its writing, as well as approaches to assessing and analyzing the level of performance using defined set of criteria given specifics of social and pedagogical problems. General theoretical bases of interpretation of discourse features and logic and technological support of its implementation are described, given the specifics of essay writing method, which was not relevant in the system of information and reproductive professional education.The article discusses essential problems of discursive essay writing method during professional formation of a future teacher, conceptual approaches and technique of step-by-step preparation for its writing, as well as approaches to assessing and analyzing the level of performance using defined set of criteria given specifics of social and pedagogical problems. General theoretical bases of interpretation of discourse features and logic and technological support of its implementation are described, given the specifics of essay writing method, which was not relevant in the system of information and reproductive professional education

A Dynamic Epistemic Logic for Abstract Argumentation

This paper introduces a multi-agent dynamic epistemic logic for abstract argumenta- tion. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of com- munication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncerSynthese tainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication

A Framework for the Strategic Management of Science & Technology Parks

Science and technology parks (STPs) have been playing an increasingly influential role in the stimulation and growth of the knowledge economy. However, the spread of STPs faces relevant challenges, such as the development of robust performance management systems, able to demonstrate results and indicate improvement opportunities. Thereby, this paper proposes a theoretical model of performance management, which combines premises of the Service-Dominant Logic (S-D Logic), the Balanced Scorecard (BSC) and the General Hierarchical Model (GHM). Based on a multiple-case exploratory and qualitative study, relevant information about the strategic planning and management of these projects were extracted and paved the way for the construction of a performance hierarchical model composed of five perspectives, according to the BSC. Considering the outcomes, it is expected that the proposed model provide useful insights for the consolidation of a framework for the strategic management of science and technology parks

Implementation of multiple specialization in logic programs

We study the múltiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter, and finally producing a new, "multiply specialized" program. While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. We perform such a study in the context of a parallelizing compiler and show that it is indeed a relevant technique in practice. Also, we propose an implementation technique which has the same power as the strongest of the previously proposed techniques but requires little or no modification of an existing abstract interpreter

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for combining autonomous services often running on different platforms. As a rule, however, intypical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certification, provides an opportunity for the development of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

SISTEM RUMAH SAKIT TERPADU MENGGUNAKAN JSP ( STUDY KASUS : GENERAL LEDGER TERINTEGRASI )

ABSTRACT Final Project Report with the title "INTEGRATED HOSPITAL SYSTEM USING JSP (CASE STUDY: General Ledger INTEGRATED HOSPITAL)". The Purpose of the report writing the Final Projectt is to design a General Ledger system for the financial departmentt on Regional General Hospital Banyuwangi and with detail, fast, online and up to date with use the computer via a JSP script and a MySQL database. Method study conducted by the authors in conducting research includes reality field studies and literature study. The reality field study included interviews and observations. A literature study by research literature relevant to the problem faced by the author. In this report I shall describe a system that will be proposed through the design Data Flow Diagram model (DAD). Design is only model DAD shows the need for the process of the proposed system of logic, especially for computerized systems. Besides the new system design is also done by arranging the design of this Final Project to discus about the design of information systems data entry of financial transactions in General Ledger-based computers in the financial departement Banyuwangi Regional Hospital. The design of this information system will assist in the processes of income and expenditure transactions in General Ledger is fast, easy decision based on the reports of the financial system more quickly, and earnings data collection and information quickly and on time according to the needs of system users. Keywords: design, information systems, General Ledge

What does California have in common with Finland, Norway and Sweden?

The aim of this paper is to analyse the retail prices on wine in different countries. In general, country-specific price differences on identical wines are expected to reflect differences in taxes, import prices, transportation and other costs. Also the competitive conditions on the retail markets in the relevant countries are important. Accordingly, lack of competition at the retail level, high import prices and high duties on wine all contribute to increase wine prices. Next, consumer prices on wine are expected to be relatively lowest in the producer country and even lower on the local markets in the producing region. The Nordic countries are located far away from California and they all tax wine higher than the State of California. Some, e.g. Finland, Norway and Sweden, have state monopoly in the retail trade of wine and spirits whereas the sales system for wine in Denmark is more in line with the Californian system. Based on price information at the retail level, the paper analyses the logic of the relative prices on identical Californian wine bought in California compared to Denmark, Finland, Norway and Sweden.Wine prices; Californian wines; wine taxes