A formal model for resource protections in web service applications

Junqing Chen; Linpeng Huang; Han Huang; Chengyuan Yu; Chen Li

doi:10.1109/CSC.2012.24

A formal model for resource protections in web service applications

Junqing Chen^*, Linpeng Huang, Han Huang, Chengyuan Yu, Chen Li

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

5 Citationer (Scopus)

Abstract

How to protect sensible resources is an important issue in the development of web service applications. This paper presents a formal model for resource protections, aiming at statically analyzing and verifying that the applications use these resources in a valid manner, i.e., obeying all the protection policies. The policies are logical properties of resource usage behaviors. The usage behaviors are extracted from the execution of web services by a type and effect system, and represented as concurrent regular expressions. After a suitable transformation, the expressions can be checked for validity by model-checking tools. Web service applications use the resources correctly if their concurrent regular expressions are verified valid. The analysis result shows our approach can improve system performances in comparison with runtime checkers, e.g., execution monitors.

Originalsprog	Engelsk
Titel	Proceedings of the 2012 International Conference on Cloud Computing and Service Computing, CSC 2012
Antal sider	8
Publikationsdato	1 dec. 2012
Sider	111-118
Artikelnummer	6414486
ISBN (Trykt)	9780769549101
DOI	https://doi.org/10.1109/CSC.2012.24
Status	Udgivet - 1 dec. 2012
Udgivet eksternt	Ja
Begivenhed	2012 International Conference on Cloud Computing and Service Computing, CSC 2012 - Shanghai, Kina Varighed: 22 nov. 2012 → 24 nov. 2012

Konference

Konference	2012 International Conference on Cloud Computing and Service Computing, CSC 2012
Land/Område	Kina
By	Shanghai
Periode	22/11/2012 → 24/11/2012
Sponsor	Chinese Institute of Electronics, Shanghai Jiao Tong University, Fudan University, Tongji University

Adgang til dokumentet

10.1109/CSC.2012.24

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

http://www.scopus.com/inward/record.url?scp=84874037946&partnerID=8YFLogxK

Citationsformater

@inproceedings{26442ab6dbbb42ab826186349154a10b,

title = "A formal model for resource protections in web service applications",

abstract = "How to protect sensible resources is an important issue in the development of web service applications. This paper presents a formal model for resource protections, aiming at statically analyzing and verifying that the applications use these resources in a valid manner, i.e., obeying all the protection policies. The policies are logical properties of resource usage behaviors. The usage behaviors are extracted from the execution of web services by a type and effect system, and represented as concurrent regular expressions. After a suitable transformation, the expressions can be checked for validity by model-checking tools. Web service applications use the resources correctly if their concurrent regular expressions are verified valid. The analysis result shows our approach can improve system performances in comparison with runtime checkers, e.g., execution monitors.",

author = "Junqing Chen and Linpeng Huang and Han Huang and Chengyuan Yu and Chen Li",

year = "2012",

month = dec,

day = "1",

doi = "10.1109/CSC.2012.24",

language = "English",

isbn = "9780769549101",

pages = "111--118",

booktitle = "Proceedings of the 2012 International Conference on Cloud Computing and Service Computing, CSC 2012",

note = "2012 International Conference on Cloud Computing and Service Computing, CSC 2012 ; Conference date: 22-11-2012 Through 24-11-2012",

}

Chen, J, Huang, L, Huang, H, Yu, C & Li, C 2012, A formal model for resource protections in web service applications. i Proceedings of the 2012 International Conference on Cloud Computing and Service Computing, CSC 2012., 6414486, s. 111-118, 2012 International Conference on Cloud Computing and Service Computing, CSC 2012, Shanghai, Kina, 22/11/2012. https://doi.org/10.1109/CSC.2012.24

A formal model for resource protections in web service applications. / Chen, Junqing; Huang, Linpeng; Huang, Han et al.
Proceedings of the 2012 International Conference on Cloud Computing and Service Computing, CSC 2012. 2012. s. 111-118 6414486.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - A formal model for resource protections in web service applications

AU - Chen, Junqing

AU - Huang, Linpeng

AU - Huang, Han

AU - Yu, Chengyuan

AU - Li, Chen

PY - 2012/12/1

Y1 - 2012/12/1

N2 - How to protect sensible resources is an important issue in the development of web service applications. This paper presents a formal model for resource protections, aiming at statically analyzing and verifying that the applications use these resources in a valid manner, i.e., obeying all the protection policies. The policies are logical properties of resource usage behaviors. The usage behaviors are extracted from the execution of web services by a type and effect system, and represented as concurrent regular expressions. After a suitable transformation, the expressions can be checked for validity by model-checking tools. Web service applications use the resources correctly if their concurrent regular expressions are verified valid. The analysis result shows our approach can improve system performances in comparison with runtime checkers, e.g., execution monitors.

AB - How to protect sensible resources is an important issue in the development of web service applications. This paper presents a formal model for resource protections, aiming at statically analyzing and verifying that the applications use these resources in a valid manner, i.e., obeying all the protection policies. The policies are logical properties of resource usage behaviors. The usage behaviors are extracted from the execution of web services by a type and effect system, and represented as concurrent regular expressions. After a suitable transformation, the expressions can be checked for validity by model-checking tools. Web service applications use the resources correctly if their concurrent regular expressions are verified valid. The analysis result shows our approach can improve system performances in comparison with runtime checkers, e.g., execution monitors.

UR - http://www.scopus.com/inward/record.url?scp=84874037946&partnerID=8YFLogxK

U2 - 10.1109/CSC.2012.24

DO - 10.1109/CSC.2012.24

M3 - Article in proceeding

AN - SCOPUS:84874037946

SN - 9780769549101

SP - 111

EP - 118

BT - Proceedings of the 2012 International Conference on Cloud Computing and Service Computing, CSC 2012

T2 - 2012 International Conference on Cloud Computing and Service Computing, CSC 2012

Y2 - 22 November 2012 through 24 November 2012

ER -

A formal model for resource protections in web service applications

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater