A survey of support for structured communication in concurrency control models

Skyrme, Alexandre; Rodríguez, Noemí; Ierusalimschy, Roberto

doi:10.1016/j.jpdc.2013.11.005

Cited by 4 publications

(3 citation statements)

References 87 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Last, but not least, it should provide specific, well-defined constructs for communication and should compel programmers to use them properly, treating violations adequately. In short, the model should provide structured communication [67], as that is a necessary step to allow programmers to more easily write correct concurrent applications.…”

Section: Disciplined Shared Memorymentioning

confidence: 99%

See 1 more Smart Citation

Safe Record Sharing in Dynamic Programming Languages

SKYRME¹

View full text Add to dashboard Cite

Section: Disciplined Shared Memorymentioning

confidence: 99%

“…Before we started working on our model, we did an extensive literature survey [67] for recent approaches that were related to safe record sharing and could be built upon. We found at least three promising approaches: no default sharing, data immutability and types and effects.…”

Section: Previous Workmentioning

confidence: 99%

Safe Record Sharing in Dynamic Programming Languages

SKYRME¹

View full text Add to dashboard Cite

“…Type systems and immutability are often used by programming languages to enforce safety and avoid race conditions (14,15). Aria adopts these concepts to allow for monitors to deal with references.…”

Section: Immutable Valuesmentioning

confidence: 99%

Revisiting Monitors

SANTOS¹

View full text Add to dashboard Cite

A security feature framework for programming languages to minimize application layer vulnerabilities

Khwaja

Murtaza

Ahmed

2019

Security and Privacy

View full text Add to dashboard Cite

Pervasiveness of Internet‐based applications and computing devices has increased cybersecurity threats for wide range of users. Studies have shown that application security flaws have their roots in programming languages used for application development. Some vulnerabilities are due to programmer's negligence and others are due to the vulnerabilities present in the programming languages and their libraries. Developers may not be aware of the existing flaws in the programming languages and do not have time to take necessary measures as they develop applications. To cope with the challenge, this article proposes a security feature framework for programming languages to understand various exploitations and possible mitigations in programming languages. This security feature framework can be used to evaluate existing programming languages for potential vulnerabilities, level of security support, and the language features needed to mitigate these vulnerabilities. Moreover, language designers may use this framework as a guide to ensure that the language being designed has necessary and sufficient security feature set. The proposed security feature framework is then applied to several popular programming languages to evaluate the level of security feature coverage and gaps in these languages along with some recommendations on how to address these gaps.

show abstract

A survey of support for structured communication in concurrency control models

Cited by 4 publications

References 87 publications

Safe Record Sharing in Dynamic Programming Languages

Safe Record Sharing in Dynamic Programming Languages

Revisiting Monitors

A security feature framework for programming languages to minimize application layer vulnerabilities

Contact Info

Product

Resources

About