Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=we6ahLjSpvI


Duration: 52:01
30 views
0

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.



Other Videos By Microsoft Research


2016-09-07Algorithms Meet Art, Puzzles, and Magic
2016-09-07Free: The Future of a Radical Price
2016-09-07Provably-Efficient Adaptive Scheduling with Parallelism Feedback
2016-09-07Personal Health Information among Competing Public Goods
2016-09-07Model-Checking Modulo Theories: Declarative Framework and Pragmatic Issues
2016-09-07Theory Tea Meeting Talk: On Local Dynamics for Two Equilibrium Concepts
2016-09-07Finding Loop Invariants Using a Theorem Prover
2016-09-07Bandwidth Allocation in TCP Friendliness and P2P Streaming
2016-09-07Improving the Development of Interactive Software Through New Language Features and Patterns
2016-09-07Better Multiple Intents Re-ranking
2016-09-07Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
2016-09-07Twig: A Simple, AI-friendly, Character World for Believable Agents
2016-09-07Speech signals separation with microphone array
2016-09-07NxOpinion: A Novel Integrated and Predictive Solution for Global Healthcare Delivery
2016-09-07Improving Software Production Environments with Non-Invasive, Quantitative Experience Collection
2016-09-07Pairing-based Non-interactive Zero-Knowledge Proofs
2016-09-07Using Declarative Languages for Fast and Easy Program Analysis
2016-09-07The JSON Saga
2016-09-07First Steps to NetViz Nirvana: Evaluating Social Network Analysis with NodeXL
2016-09-07Public Key Cryptosystems: Stronger Security from General Assumptions
2016-09-07A Framework for Combined Bayesian Analysis and Optimization for


Tags:
microsoft research