2,107 Hits in 3.1 sec

Enforcing Integrity of Execution in Distributed Workflow Management Systems

Frederic Montagut, Refik Molva
2007 IEEE International Conference on Services Computing (SCC 2007)  
These mechanisms can easily be integrated into distributed workflow management systems as our design is strongly coupled with the runtime specification of decentralized workflows.  ...  As a result, this flexible decentralized setting raises specific security requirements, such as the compliance of the overall sequence of operations with the pre-defined workflow execution plan, that are  ...  These approaches do not address the issue of policy enforcement with respect to integrity of execution in fully decentralized workflow management systems.  ... 
doi:10.1109/scc.2007.57 dblp:conf/IEEEscc/MontagutM07 fatcat:yrcgm5kfxzaljapxgk4xgt5jya

Decentralized LTL Enforcement

Florian Gallay, Yliès Falcone
2021 Electronic Proceedings in Theoretical Computer Science  
We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority.  ...  We formalize the decentralized runtime enforcement problem and define the expected properties of enforcers, namely soundness, transparency and optimality. We present two enforcement algorithms.  ...  We address the problem of enforcing LTL formulas on decentralized systems. We start by defining the runtime enforcement problem in the decentralized setting.  ... 
doi:10.4204/eptcs.346.9 fatcat:xa4vq75fqjht3e2qohn4oppwyi

ROSRV: Runtime Verification for Robots [chapter]

Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu
2014 Lecture Notes in Computer Science  
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS [8]), a widely used open-source framework for robot software development.  ...  ROSRV aims to address the safety and security issues of robots by providing a transparent monitoring infrastructure that intercepts and monitors the commands and messages passing through the system.  ...  Acknowledgement: This material is based on research sponsored by DARPA under agreement number FA8750-12-C-0284. The U.S.  ... 
doi:10.1007/978-3-319-11164-3_20 fatcat:ddepsa4h4jb3vaeydv4ofp6jlu

Programmable Security for Object-Oriented Systems [chapter]

John Hale, Mauricio Papa, Sujeet Shenoi
1999 Database Security XII  
This model can be used to construct virtually any distributed object language or system while supporting a spectrum of decentralized authorization models. S. Jajodia (ed.), Database Security XII  ...  This paper focuses on "programmable security" for object-oriented systems and languages.  ...  Mumbo's runtime system is a MOM runtime system. At runtime, a Mumbo domain object is placed in a MOM root domain to encapsulate the compiled system.  ... 
doi:10.1007/978-0-387-35564-1_7 fatcat:xyhnjb3q6bbv3ohtlna4yba3ae

Service Automata [chapter]

Richard Gay, Heiko Mantel, Barbara Sprick
2012 Lecture Notes in Computer Science  
A key novelty of our proposal is that security is enforced in a decentralized though coordinated fashion.  ...  We propose a novel framework for reliably enforcing security in distributed systems.  ...  This work was partially funded by CASED ( and by the DFG (German research foundation) under the project FM-SecEng in the Computer Science Action Program (MA 3326/1-3).  ... 
doi:10.1007/978-3-642-29420-4_10 fatcat:6pwi7dufp5fyvfshx3nnrouknu

LUCON: Data Flow Control for Message-Based IoT Systems [article]

Julian Schütte, Gerd Stefan Brost
2018 arXiv   pre-print
Policy enforcement is based on a dynamic taint analysis at runtime and an upfront static verification of message routes against policies.  ...  In this paper, we introduce LUCON, a data-centric security policy framework for distributed systems that considers data flows by controlling how messages may be routed across services and how they are  ...  ACKNOWLEDGEMENT This work as been funded by the Federal Ministry for Economic Affairs and Energy (BMWi) in the project CAR-BITS (01MD16004B).  ... 
arXiv:1805.05887v1 fatcat:cxr4dihyifbbxdmgdssr3tasfy

AutoMate: Enabling Autonomic Applications on the Grid

M. Parashar, H. Liu, Z. Li, V. Matossian, C. Schmidt, G. Zhang, S. Hariri
2006 Cluster Computing  
by biological systems and deal with similar challenges of complexity, heterogeneity, and uncertainty.  ...  The increasing complexity, heterogeneity, and dynamism of emerging pervasive Grid environments and applications has necessitated the development of autonomic self-managing solutions, that are inspired  ...  In our system, all data elements are described using a sequence of keywords (common words in the case of P2P storage systems, or values of globally defined attributes -such as memory and CPU frequency  ... 
doi:10.1007/s10586-006-7561-5 fatcat:pakuaryd3nhgxnrxuvh24wgkke

Biologically-Inspired Distributed Middleware Management for Stream Processing Systems [chapter]

Geetika T. Lakshmanan, Robert E. Strom
2008 Lecture Notes in Computer Science  
such as message rates or service times as well as to changes in processor availability or link performance during runtime.  ...  We present a decentralized and dynamic biologically-inspired algorithm for placing dataflow graphs composed of stream processing tasks onto a distributed network of machines, while minimizing the endto-end  ...  Simulating stigmergy in the context of ants in a computer system can be done in a completely decentralized manner using routing tables stored at every node.  ... 
doi:10.1007/978-3-540-89856-6_12 fatcat:irr3xnayufdppo4a6x7knzucze

A distributed framework for reliable and efficient service choreographies

Young Yoon, Chunyang Ye, Hans-Arno Jacobsen
2011 Proceedings of the 20th international conference on World wide web - WWW '11  
We deploy safety constraints to prevent conflicting behavior and enforce reliable and efficient service interactions via federated publish/subscribe messaging, along with strategic placement of distributed  ...  choreography agents and coordinators to minimize runtime overhead.  ...  Also, we measure the increase of local tasks along with the size of the rules our framework has to maintain in order to monitor invalid message patterns during runtime. the message communication sequences  ... 
doi:10.1145/1963405.1963515 dblp:conf/www/YoonYJ11 fatcat:isyrzigiuzel5okk2bbbarvsxi

Towards Decentralized Monitoring of Supply Chains

Aymen Baouab, Walid Fdhila, Olivier Perrin, Claude Godart
2012 2012 IEEE 19th International Conference on Web Services  
message exchanges during runtime.  ...  This allows a global process tracking and evaluation of process metrics. In this paper, we present an approach for decentralized monitoring of cross-organizational choreographies.  ...  Our introduced event based framework allows for runtime decentralized monitoring of choreographies that are deployed across organizational boundaries.  ... 
doi:10.1109/icws.2012.13 dblp:conf/icws/BaouabFPG12 fatcat:xujcklmnbrdhvaydmj724sfqpe

An Architectural Strategy for Self-Adapting Systems

Danny Weyns, Tom Holvoet
2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07)  
Self-adaptation is the ability of a software system to adapt to dynamic and changing operating conditions autonomously. In this paper, we present an architectural strategy for self-adapting systems.  ...  The architectural strategy for self-adapting systems structures the software into a number of interacting autonomous entities (agents) that are situated in an environment.  ...  Communication laws impose constraints on the message stream or enforce domain-specific rules to the exchange of messages.  ... 
doi:10.1109/seams.2007.3 dblp:conf/icse/WeynsH07 fatcat:mokxuz44mbdltpcmfoqe7fmare

Tracing Distributed Component-Based Systems, a Brief Overview [chapter]

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
2018 Lecture Notes in Computer Science  
Neither the global state nor the total ordering of the system events is available at runtime. We instrument the system to retrieve local events from the local traces of the schedulers.  ...  We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers.  ...  observers/monitors according to the system architecture by using decentralized runtime verification frameworks [6, 15, 13] ; -(iii) adapt techniques for runtime enforcement [20] of sequential CBSs  ... 
doi:10.1007/978-3-030-03769-7_24 fatcat:dxjfpz6lzncjjphgtwkmrtyvvm

An Event-Driven Approach for Runtime Verification of Inter-organizational Choreographies

Aymen Baouab, Olivier Perrin, Claude Godart
2011 2011 IEEE International Conference on Services Computing  
In this paper, we propose new components, to be deployed along the boundaries of each participating organization, offering external flow control, and notification in case of violation detection, while  ...  To achieve our goals, we propose an event-based approach in which inter-organizational exchanges are perceived as events.  ...  [4] supporting the case of a decentralized system by proposing a container structure with authentication mechanisms for data access.  ... 
doi:10.1109/scc.2011.55 dblp:conf/IEEEscc/BaouabPG11 fatcat:j3lk3tuvvffeff3gtowoaplxsm

A self-integration testbed for decentralized socio-technical systems

Farzam Fanitabasi, Edward Gaere, Evangelos Pournaras
2020 Future generations computer systems  
The Internet of Things (IoT) comes along with new challenges for experimenting, testing, and operating decentralized socio-technical systems at large-scale.  ...  While such complex systems are often deployed and operated using centralized computing infrastructures, the socio-technical nature of these decentralized systems requires new value-sensitive design paradigms  ...  Authors would also like to thank Renato Kunz for his contributions in development and implementation of the testbed.  ... 
doi:10.1016/j.future.2020.07.036 fatcat:ihvuui4pkjbz3mdnmznopgl4wm

Enabling Autonomic Grid Applications: Requirements, Models and Infrastructure [chapter]

M. Parashar, Z. Li, H. Liu, V. Matossian, C. Schmidt
2005 Lecture Notes in Computer Science  
strategies used by biological systems to deal with similar challenges of complexity, heterogeneity, and uncertainty.  ...  The increasing complexity, heterogeneity and dynamism of emerging pervasive Grid environments and applications has necessitated the development of autonomic self-managing solutions, which are based on  ...  The research presented in this paper is supported in part by the National Science Foundation via grants numbers ACI 9984357 (CAREERS), EIA 0103674 (NGS), EIA-0120934 (ITR), ANI-0335244 (NRT), CNS-0305495  ... 
doi:10.1007/11428589_18 fatcat:qeubh2wjz5ekrpmvxhqr3r6cx4
« Previous Showing results 1 — 15 out of 2,107 results