|Using Contracts to Improve Security through Responsibility Bifurcation|
As software development has shifted into a “getting to market quickly" philosophy by embracing fast iteration paradigms offered by such practices as “agile", ensuring strong security and verifiability characteristics has become increasingly difficult. One major contributing factor is the tension between getting to market and satisfying the internal quality requirements of the engineering team (often resulting in software released “too soon” from the perspective of the engineers).
|Year of Publication||
2022 European Symposium on Software Engineering
Association for Computing Machinery
New York, NY, USA
|Google Scholar | BibTeX | XML | DOI|