Providing trusted components to the industry

Meyer, B.; Mingins, Christine; Schmidt, Heinz

doi:10.1109/2.675643

Cited by 38 publications

(13 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Those constraints, if really needed, are best enforced by the business logic that manipulates the software repository, e.g. following Design-By-Contract [22], as recommended by best practices evolved over the years for the architecture of multi-tier information systems.…”

Section: Incremental Integrity Checking For Oclmentioning

confidence: 99%

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.

García¹

2008

JOT

View full text Add to dashboard Cite

The efficient detection of run-time violations of integrity constraints (or their avoidance in the first place) has not been satisfactorily addressed for the combination of object model and constraint definition language most widely accepted in industry, namely OMG's Essential MOF and Object Constraint Language (OCL). We identify the dimensions relevant to this problem, and classify existing proposals by their position in the solution space. After this comparative survey, we propose a solution for the efficient integrity checking of invariants expressed in OCL over the Essential MOF data model, and describe the software architecture of its implementation using object-relational mapping technology.

show abstract

Section: Incremental Integrity Checking For Oclmentioning

confidence: 99%

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.

García¹

2008

JOT

View full text Add to dashboard Cite

show abstract

“…If that was the case, any component could reasonably be expected to behave exactly as promised, and to use only those resources it required. Indeed, works are in progress that aim at providing so-called "trusted components" [15,12,14]. Hence, there is hope that, in the future, contract monitoring will not necessarily be required in all circumstances.…”

Section: Resource Contracting In Jamusmentioning

confidence: 99%

A Contract-Based Approach of Resource-Constrained Software Deployment

Sommer

Guidec

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

“…It is widely recognized that no single technique can produce completely trusted components [12]. The uniqueness of this paper is in identifying a problem that leads to creation of untrustworthy components and in using sophisticated algorithms developed in the area of secure communication protocol to solve it.…”

Section: Related Workmentioning

confidence: 99%

Secure Deployment of Components

Grechanik

Perry

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing malicious components from penetrating secure systems, other security violations may also cause significant problems. We uncover a technique that creates a major breach of security by allowing rogue components to interfere with component-based applications by impersonating various generic components. This interference leads to stealing business value of competitive products and causes problems without violating legal agreements. We also present our solution to this problem, called Secure COmponent Deployment Protocol (S-CODEP), and prove its soundness using the authentication logic of Burrows, Abadi, and Needham (BAN authentication logic).

show abstract

Providing trusted components to the industry

Cited by 38 publications

References 0 publications

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.

A Contract-Based Approach of Resource-Constrained Software Deployment

Secure Deployment of Components

Contact Info

Product

Resources

About