Welcome to Wright/C project web site!

Wright/C is an extended version of Wright Architecture Description Language (ADL) to handle confidentiality specific issues.

ADLs provide a conceptual framework and a concrete syntax for characterizing and describing software architectures. They describe essential high level structural and behavioral characteristics in a way that can be analyzed and manipulated algorithmically. These languages are used to specify architectural elements, such as components, connectors and constraints, and how these elements fit together. CMU Software Engineering Institute maintains links to the Web pages of number of ADLs; you can visit http://www.sei.cmu.edu/architecture/adl.html.

Wright is introduced in Robert Allen's Ph.D. thesis. The language provides a practical formal basis for the description of both architectural configurations and architectural styles. In Wright, the abstract behaviour of the components and the connectors are described in CSP (Communicating Sequential Processes) notation. The CSP theory treats observable external interaction, rather than structure or state, as the primary defining feature of a system. The theory provides an expressive process-algebraic programming notation, a range of semantic models of varying degrees of abstraction, powerful notions of refinement and abstraction, and a useful set of equality and refinement laws.

The architecture description language Wright is extended so that confidentiality authorizations can be specified. An architectural description in Wright/C, the extended language, assigns clearance to the ports of the components and treats security labels as a part of data type information. As dictated by the security policy, the security labels are declared along with clearance assignments in an access control lattice model, also expressed in Wright/c. This enables static analysis of data flow over the architecture subject to confidentiality requirements as per Bell-LaPadula principles.

On this web site, you can find documents on Wright/C. The specification and static analysis of data flow over the example architectures described in Wright/C are also available on the site.

For your further questions and comments, do not hesitate to send an e-mail to Cemil ULU or team member listed on the Members page.