Fabric: Building open distributed systems securely by construction

Jed Liu; Owen Arden; Michael D. George; Andrew C. Myers

doi:10.3233/jcs-15805

Fabric: Building open distributed systems securely by construction

Journal of Computer Security ◽

10.3233/jcs-15805 ◽

2017 ◽

Vol 25 (4-5) ◽

pp. 367-426 ◽

Cited By ~ 8

Author(s):

Jed Liu ◽

Owen Arden ◽

Michael D. George ◽

Andrew C. Myers

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Saga security system: A security architecture for open distributed systems

Computer Standards & Interfaces ◽

10.1016/s0920-5489(99)92119-0 ◽

1999 ◽

Vol 21 (2) ◽

pp. 151

Author(s):

Masakazu Soshi ◽

Mamoru Maekawa

Keyword(s):

Distributed Systems ◽

Security System ◽

Security Architecture ◽

System A ◽

Open Distributed Systems

Download Full-text

Advanced design concepts for open distributed systems development

1993 4th Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1993.344211 ◽

2002 ◽

Cited By ~ 1

Author(s):

L.F. Pires ◽

M. van Sinderen ◽

C.A. Vissers

Keyword(s):

Distributed Systems ◽

Systems Development ◽

Design Concepts ◽

Open Distributed Systems

Download Full-text

The Saga Security System: a security architecture for open distributed systems

Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1997.644703 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Soshi ◽

M. Maekawa

Keyword(s):

Distributed Systems ◽

Security System ◽

Security Architecture ◽

System A ◽

Open Distributed Systems

Download Full-text

An integrated framework for formal development of open distributed systems

Information and Software Technology ◽

10.1016/j.infsof.2003.09.012 ◽

2004 ◽

Vol 46 (5) ◽

pp. 281-286 ◽

Cited By ~ 1

Author(s):

Issa Traoré ◽

Demissie Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.06.033 ◽

2009 ◽

Vol 229 (2) ◽

pp. 133-153

Author(s):

Yue Yu ◽

Shangping Ren ◽

Carolyn Talcott

Keyword(s):

Distributed Systems ◽

Timing Constraints ◽

Open Distributed Systems

Download Full-text

Inter-enterprise contract architecture for open distributed systems: security requirements

Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises ◽

10.1109/enabl.1996.555065 ◽

2002 ◽

Cited By ~ 8

Author(s):

Z. Milosevic ◽

D. Arnold ◽

L. O'Connor

Keyword(s):

Distributed Systems ◽

Security Requirements ◽

Systems Security ◽

Open Distributed Systems

Download Full-text

Space-based Coordination and Open Distributed Systems

Process Coordination and Ubiquitous Computing ◽

10.1201/9781003072492-2 ◽

2020 ◽

pp. 3-10

Author(s):

Davide Rossi

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Development of Reliable E-Commerce Applications in Large Open Distributed Systems

The E-Business Handbook ◽

10.1201/9781420025477.ch22 ◽

2001 ◽

Author(s):

Rida Bazzi ◽

Feras Karablieh

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Adaptive Autonomous Agent Models for Open Distributed Systems

2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) ◽

10.1109/iccgi.2007.10 ◽

2007 ◽

Cited By ~ 3

Author(s):

Sebastien Leriche ◽

Jean-Paul Arcangeli

Keyword(s):

Distributed Systems ◽

Autonomous Agent ◽

Open Distributed Systems

Download Full-text

Requirement specification of open distributed systems

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_3 ◽

1993 ◽

pp. 17-30

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems ◽

Requirement Specification ◽

Open Distributed Systems

Download Full-text