A framework for an active interface to characterise compositional security contracts of software components

Khaled Khan; Jun Han; Yuliang Zheng

A framework for an active interface to characterise compositional security contracts of software components

Khaled Khan
, Jun Han
, Yuliang Zheng

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 2001 Australian Software Engineering Conference
Editors	D Grant, L Sterling
Place of Publication	Los Alamitos USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	117 - 126
Number of pages	10
ISBN (Print)	0769512542
Publication status	Published - 2001
Event	Australian Software Engineering Conference 2001 - Canberra, Australia Duration: 27 Aug 2001 → 28 Aug 2001 Conference number: 13th https://ieeexplore.ieee.org/xpl/conhome/7538/proceeding (Proceedings)

Conference

Conference	Australian Software Engineering Conference 2001
Abbreviated title	ASWEC 2001
Country/Territory	Australia
City	Canberra
Period	27/08/01 → 28/08/01
Internet address	https://ieeexplore.ieee.org/xpl/conhome/7538/proceeding (Proceedings)

Cite this

@inproceedings{a67a64b7504045048094bebfad4772bb,

title = "A framework for an active interface to characterise compositional security contracts of software components",

author = "Khaled Khan and Jun Han and Yuliang Zheng",

year = "2001",

language = "English",

isbn = "0769512542",

pages = "117 -- 126",

editor = "D Grant and L Sterling",

booktitle = "Proceedings of the 2001 Australian Software Engineering Conference",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "Australian Software Engineering Conference 2001, ASWEC 2001 ; Conference date: 27-08-2001 Through 28-08-2001",

url = "https://ieeexplore.ieee.org/xpl/conhome/7538/proceeding",

}

Khan, K, Han, J & Zheng, Y 2001, A framework for an active interface to characterise compositional security contracts of software components. in D Grant & L Sterling (eds), Proceedings of the 2001 Australian Software Engineering Conference. IEEE, Institute of Electrical and Electronics Engineers, Los Alamitos USA, pp. 117 - 126, Australian Software Engineering Conference 2001, Canberra, Australian Capital Territory, Australia, 27/08/01.

A framework for an active interface to characterise compositional security contracts of software components. / Khan, Khaled; Han, Jun; Zheng, Yuliang.
Proceedings of the 2001 Australian Software Engineering Conference. ed. / D Grant; L Sterling. Los Alamitos USA: IEEE, Institute of Electrical and Electronics Engineers, 2001. p. 117 - 126.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A framework for an active interface to characterise compositional security contracts of software components

AU - Khan, Khaled

AU - Han, Jun

AU - Zheng, Yuliang

N1 - Conference code: 13th

PY - 2001

Y1 - 2001

M3 - Conference Paper

SN - 0769512542

SP - 117

EP - 126

BT - Proceedings of the 2001 Australian Software Engineering Conference

A2 - Grant, D

A2 - Sterling, L

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Los Alamitos USA

T2 - Australian Software Engineering Conference 2001

Y2 - 27 August 2001 through 28 August 2001

ER -