Checking Interface Interaction Protocols Using Aspect-Oriented Programming

Authors:
Anh-Hoang Truong;Thanh-Binh Trinh;Dang Van Hung;Viet-Ha Nguyen;Nguyen Thi Thu Trang;Pham Dinh Hung
Affiliations:
-;-;-;-;-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 1

Modeling and specification of real-time interfaces with UTP

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this tutorial we will consider abstract non-interference as a formal model for reasoning about language based security. Abstract non-interference generalises standard non-interference by modelling the information leaked as abstract properties of concrete ...