Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.最新文献

Towards a modal logic for /spl pi/-calculus 走向/spl pi/-微积分的模态逻辑

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-10-18 DOI: 10.1109/CMPSAC.2004.1342854

Taolue Chen, Tingting Han, Jian Lu

{"title":"Towards a modal logic for /spl pi/-calculus","authors":"Taolue Chen, Tingting Han, Jian Lu","doi":"10.1109/CMPSAC.2004.1342854","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342854","url":null,"abstract":"The pi-calculus is one of the most important mobile process calculi and has been well studied in literature. Temporal logic is thought of as a good compromise between description convenience and abstraction and can support useful computational applications, such as model-checking. In this paper, we use a symbolic transition graph inherited from pi-calculus to model concurrent systems. A wide class of processes, that is, finite-control processes, can be represented as a finite symbolic transition graph. A new version of modal logic for the pi-calculus, an extension of the modal mu-calculus with Boolean expressions over names, and primitives for name input and output are introduced as an appropriate temporal logic for the pi-calculus. Since we make a distinction between proposition and predicate, the possible interactions between recursion and first-order quantification can be solved. A concise semantics interpretation for our modal logic is given. Based on this work, we provide a model checking algorithm for the logic. This algorithm follows Winskel's well known tag set method to deal with the fixpoint operator. As for the problem of name instantiating, our algorithm follows the 'on-the-fly' style, and systematically employs schematic names. The correctness of the algorithm is shown","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133944542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Context-based access control for ubiquitous service provisioning 用于无处不在的服务供应的基于上下文的访问控制

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342877

Antonio Corradi, R. Montanari, Daniela Tibaldi

{"title":"Context-based access control for ubiquitous service provisioning","authors":"Antonio Corradi, R. Montanari, Daniela Tibaldi","doi":"10.1109/CMPSAC.2004.1342877","DOIUrl":"https://doi.org/10.1109/CMPSAC.2004.1342877","url":null,"abstract":"Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. In particular, mobility of users/devices causes frequent and unpredictable changes in physical user location and in consequently available resources and services. Users can also change portable access devices, with different capabilities, even at runtime and during the same service session, thus forcing us to consider very dynamic aspects even due to client heterogeneity. Access control to resources is crucial to leverage the provision of ubiquitous services and calls for novel solutions based on various context information, e.g., user/device location, device properties, user needs, local resource visibility. This work presents a novel access control model built upon the concept of context as the first-class design principle to rule access to resources. As key features, this model allows to associate access control permissions with contexts where users operate and users acquire/lose their permissions when entering/leaving a specific context. Unlike traditional access control solutions where user identity/role triggers policy evaluation when requesting resource access, this model exploits the user context to fully determine the set of available permissions. In addition, the proposed model allows to express context-based access control policies at a high level of abstraction cleanly separate from service logic implementation, thus promoting dynamic policy modification with no impact on the service code. The paper shows the implementation of the proposed model in the UbiCOSM framework and presents a mobile office service provisioning scenario.","PeriodicalId":355273,"journal":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124776545","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 72

Component failure mitigation according to failure type 根据故障类型减轻组件故障

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342841

F. Ye, T. Kelly

引用次数: 23

Application of maximum entropy principle to software failure prediction 最大熵原理在软件故障预测中的应用

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342825

Wu Ji, Yang Hai-yan, Jia Xiao-xia, Liu Chang, Liu Chao, Jin Mao-Zhong

引用次数: 3

AdapTIVE: an intelligent virtual environment and its application in e-commerce 自适应:智能虚拟环境及其在电子商务中的应用

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342880

Cássia Trojahn dos Santos, F. Osório

引用次数: 26

A spatial SQL extension for continuous field querying 用于连续字段查询的空间SQL扩展

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342681

R. Laurini, L. Paolino, M. Sebillo, G. Tortora, G. Vitiello

引用次数: 17

Distributed component-based software development: an incremental approach 基于分布式组件的软件开发:一种增量方法

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342798

E. Almeida, Alexandre Alvaro, D. Lucrédio, A. F. Prado, L. Trevelin

引用次数: 10

Using FMEA for early robustness analysis of Web-based systems 使用FMEA对基于web的系统进行早期鲁棒性分析

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342662

Jianyun Zhou, T. Stålhane

引用次数: 12

Generating regression tests via model checking 通过模型检查生成回归测试

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342855

Lihua Xu, M. Dias, D. Richardson

引用次数: 24

Priority assessment of software requirements from multiple perspectives 从多个角度对软件需求进行优先级评估

Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Pub Date : 2004-09-28 DOI: 10.1109/CMPSAC.2004.1342872

Xiaoqing Frank Liu, Chandra Sekhar Veera, Yan Sun, Kunio Noguchi, Y. Kyoya

引用次数: 29