SOLj: A domain-specific language (DSL) for secure service-based systems

被引：2

作者：

Bharadwaj, Ramesh ^{[1
]}

Mukhopadhyay, Supratik ^{[1
]}

机构：

[1] Utah State Univ, Logan, UT 84322 USA

来源：

11TH IEEE INTERNATIONAL WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/FTDCS.2007.32

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present SOLj (Secure Operations Language-Java), an event-driven domain-specific synchronous programming extension of Java for developing secure service-based systems. The language has capabilities for handling service invocations asynchronously, includes strong typing for the enforcement of information flow and security policies, and exception handling mechanisms to deal with failures of components or services (both benign and Byzantine). Applications written in SOLj are formally verifiable using static analysis techniques. SOLj programs may be deployed, configured, and run on SINS (Secure Infrastructure for Networked Systems) under development at the Naval Research Laboratory.

引用

页码：173 / +

页数：3

共 50 条

[1] Capturing smart service systems: Development of a domain-specific modelling language
Huber, Rocco Xaver Richard
Pueschel, Louis Christian
Roeglinger, Maximilian
[J]. INFORMATION SYSTEMS JOURNAL, 2019, 29 (06) : 1207 - 1255
[2] A Domain-Specific Programming Language for Secure Multiparty Computation
Nielsen, Janus Dam
Schwartzbach, Michael I.
[J]. PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 21 - 30
[3] A Domain-Specific Visual Language for Report Writing Using Microsoft DSL Tools
Dantra, Ruskin
Grundy, John
Hosking, John
[J]. 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2009, : 15 - +
[4] U-DSL: a Domain Specific Language for Ubiquitous Systems
Rosique, F.
Alvarez, B.
Sanchez, P.
Pastor, J. A.
[J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (10) : 4416 - 4420
[5] ServML - A Domain-Specific Modeling Language as an Extension of SysML to Model Smart Service Systems
Marx, Emanuel
[J]. 2022 IEEE 24TH CONFERENCE ON BUSINESS INFORMATICS (CBI 2022), VOL 1, 2022, : 100 - 107
[6] Prototyping a Domain-Specific Language for Monitor and Control Systems
Bennett, Matthew
Borgen, Richard
Havelund, Klaus
Ingham, Michel
Wagner, David
[J]. JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2010, 7 (11): : 338 - 364
[7] Domain-Specific Software Language for Crisis Management Systems
Khzam, Nadin Bou
Mussbacher, Gunter
[J]. 2018 IEEE 8TH INTERNATIONAL MODEL-DRIVEN REQUIREMENTS ENGINEERING WORKSHOP (MODRE 2018), 2018, : 36 - 45
[8] DMLAS: A Domain-Specific Language for Designing Adaptive Systems
Bocanegra, Jose
Pavlich-Mariscal, Jaime
Carrillo-Ramos, Angela
[J]. 2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC), 2015, : 104 - 111
[9] Design of a Domain-Specific Language Based on a Technology-Independent Web Service Framework
Rademacher, Florian
Peters, Martin
Sachweh, Sabine
[J]. SOFTWARE ARCHITECTURE (ECSA 2015), 2015, 9278 : 357 - 371
[10] A Domain-Specific Language for Microservices
Donham, Jacob
[J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA (SCALA '18), 2018, : 2 - 12

← 1 2 3 4 5 →