Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)

A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and the workflow of the applications, so that the interplay between the policy level and the workflow level is abstracted away. While such an approach is attractive because it is quite simple and permits one to reason about crucial properties of the policies under consideration, it does not provide the right level of abstraction to specify and reason about the way the workflow may interfere with the policies, and vice versa. For example, the creation of a certificate as a side effect of a workflow operation may enable a policy rule to fire and grant access to a certain resource; without executing the operation, the policy rule should remain inactive. Similarly, policy queries may be used as guards for workflow transitions. In this paper, we present a two-level formal verification framework to overcome these problems and formally reason about the interplay of authorization policies and workflow in service-oriented architectures. This allows us to define and investigate some verification problems for SO applications and give sufficient conditions for their decidability.Comment: 16 pages, 4 figures, full version of paper at Symposium on Secure Computing (SecureCom09

Learning to be a Prison Educator

This paper explores the process by which instructors learn to teach in prison. First, research on the challenges correctional educators encounter is explored. Second, an instructor training and mentorship program developed in Alberta, Canada will be presented, followed by a discussion of the importance on ongoing professional development that is specific to correctional educators

Creating agent platforms to host agent-mediated services that share resources

After a period where the Internet was exclusively filled with content, the present efforts are moving towards services, which handle the raw information to create value from it. Therefore labors to create a wide collection of agent-based services are being perfomed in several projects, such as Agentcities does. In this work we present an architecture for agent platforms named a-Buildings. The aim of the proposed architecture is to ease the creation, installation, search and management of agent-mediated services and the share of resources among services. To do so the a-Buildings architecture creates a new level of abstraction on top of the standard FIPA agent platform specification. Basically, an a-Building is a service-oriented platform which offers a set of low level services to the agents it hosts. We define low level services as those required services that are neccesary to create more complex high level composed services.Postprint (published version

Extending the Carrel system to mediate in the organ and tissue allocation processes: a first approach

In this paper we extend the formalization of Carrel, a virtual organization for the procurement of tissues for transplantation purposes, in order to model also the procurement of human organs for transplants. We will focus in the organ allocation process to show how it can be formalized with the ISLANDER formalism. Also we present a first mechanism to federate the institution in several geographically-distributed platforms.Postprint (published version

An Evaluated Certification Services System for the German National Root CA - Legally Binding and Trustworthy Transactions in E-Business and E-Government

National Root CAs enable legally binding E-Business and E-Government transactions. This is a report about the development, the evaluation and the certification of the new certification services system for the German National Root CA. We illustrate why a new certification services system was necessary, and which requirements to the new system existed. Then we derive the tasks to be done from the mentioned requirements. After that we introduce the initial situation at the beginning of the project. We report about the very process and talk about some unfamiliar situations, special approaches and remarkable experiences. Finally we present the ready IT system and its impact to E-Business and E-Government.Comment: 6 pages; 1 figure; IEEE style; final versio

Formalizing Community Interpreting Standards: A Cross-National Comparison of Testing Systems, Certification Conventions and Recent ISO Guidelines

Community interpreting has become a global phenomenon, and the need for standard assurances of practice is being met by credentialing systems that certify a community interpreter through testing and/or training. This paper examines credentialing systems in Australia, Canada, Norway and the UK and poses the questions of whether the spread and development of testing systems has led to a widening of the skills now required for community interpreting, and whether testing alone is a means for the demonstration of all of these skills. Some attributes of credential candidates are pretest admission prerequisites. Testing alone is the common pathway for community interpreters in Australia and Canada to gain certification, while in Norway training is a corequisite for “higher-level” certification, and in the UK, it is strongly recommended. Training allows a degree of specialization in the areas of health, law and public services that are a feature also of Norwegian and UK certification. At a supranational level, the recently released ISO Guidelines for Community Interpreting also list as required attributes the ability to simultaneously interpret, negotiate cross-cultural pragmatic and discourse features, manage interactions, and formal training. These further skills are likely to be best ascertained through training that is corequisite or supplementary

Curriculum Subcommittee Minutes, April 1, 2021

Approval of 4 March 2021 Minutes Program Proposals Create a Student Money Management Center. Create a Community Development Economics Minor. Change the CIP Code for the BS Aviation Technology- Professional Pilot degree from 49.0102 to 49.0101. Discontinue the Computer Science MS Plan C degree program. Semester Course Approval Reviews Other Business Claudia Radel has become the new Department Head for Environment and Society. EPC/Curriculum Handbook Update New Curriculum Committee Chair Appointment Worked with the Provost and had discussions regarding a new chair for the Curriculum Committee. Matt Sanders as the new chair

Curriculum Subcommittee Agenda, September 2, 2021

Approval of 1 April 2021 Minutes Program Proposals Semester Course Approval Reviews Other Busines

Curriculum Subcommittee Agenda, October 6, 2021

Approval of 2 September 2021 Minutes Program Proposals Semester Course Approval Reviews Other Busines

Curriculum Subcommittee Minutes, September 2, 2021

Approval of 1 April 2021 Minutes Program Proposals Semester Course Approval Reviews Registrar\u27s review of impact reports Assign new point of contact for Curriculog updates/changes Learning objectives will be changed to course learning outcome Review EPC/Curriculum website R401s need to be done no