2011 7th International Conference on Emerging Technologies最新文献_第4页

QoS-aware device selection using user preferences for tasks in ubiquitous environments 在无处不在的环境中使用用户首选项进行qos感知设备选择

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048484

M. E. Ahmed, H. Mukhtar, D. Belaid, J. Song

引用次数: 3

Position-based and geocast routing protocols in VANETs VANETs中基于位置和地理广播的路由协议

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048483

Huma Ghafoor, K. Aziz

引用次数: 33

Threat modeling using formal methods: A new approach to develop secure web applications 使用形式化方法的威胁建模:一种开发安全web应用程序的新方法

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048492

Shafiq Hussain, H. Erwin, P. Dunne

{"title":"Threat modeling using formal methods: A new approach to develop secure web applications","authors":"Shafiq Hussain, H. Erwin, P. Dunne","doi":"10.1109/ICET.2011.6048492","DOIUrl":"https://doi.org/10.1109/ICET.2011.6048492","url":null,"abstract":"Software security problems exist since the early days of computer systems. Operating system level approaches, network level approaches and machine level approaches are not sufficient for the security of software systems. Software security has gained attention in the recent years as an internal security issue of software systems as compared to external protective measures. Threat modeling is a technique being used to model threats into software systems. By applying threat modeling at the early stages of software development life cycle, all possible threats to software systems can be identified and mitigated and hence in this way, a more secure software application can be developed. Various threat modeling approaches such as CLASP, SDL, STRIDE, DREAD, TAM and Touch Points are being used by many organizations for threat modeling into software systems. But all of the approaches being used for threat modeling are based on informal and semi formal techniques. Formal methods are based on mathematics and provide state of the art techniques for secure software development. Formal methods had been used successfully in many critical systems such as CICS, Paris Railway System and British Air Traffic Control System etc. In the proposed approach VDM++, will be used for specification of core components: STRIDE, DREAD and Security Mechanisms. VDM++Tools will be used for type checking and proof obligations.","PeriodicalId":167049,"journal":{"name":"2011 7th International Conference on Emerging Technologies","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128390854","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}

引用次数: 10

Activity-based correlation of personal documents and their visualization using association rule mining 基于活动的个人文档关联及其使用关联规则挖掘的可视化

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048448

Zafar Saeed, Abida Sadaf, Siraj Muhammad

引用次数: 1

Block Aging Prevention technique (BAP) for flash based Solid State Disks 基于闪存的固态硬盘块老化预防技术(BAP)

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048453

S. Shiraz, Anam Zaman, Saba Zia, Abdullah Mansoor, Farooq Ahmed

{"title":"Block Aging Prevention technique (BAP) for flash based Solid State Disks","authors":"S. Shiraz, Anam Zaman, Saba Zia, Abdullah Mansoor, Farooq Ahmed","doi":"10.1109/ICET.2011.6048453","DOIUrl":"https://doi.org/10.1109/ICET.2011.6048453","url":null,"abstract":"Solid State Disks (SSDs) are becoming increasingly popular due to enhancement in speed and reduction in size, power and cost. It is an obvious choice for many applications including personal computers, embedded systems, medical and healthcare devices etc. However, the reliability of SSD has now become a critical issue and this is an area of active research. SSD uses Flash technology which is a fast, efficient nonvolatile storage chip and offers cost-effective solution for SSDs. However, with all these features, flash memory defines a limit of write-erase on its blocks. Wearleveling policies extend SSD life time by ensuring even wearleveling of the blocks in a flash memory. Several algorithms have been proposed to improve wearleveling of SSD including Hot-Cold Swapping, Dual pool Algorithm (DP), Kim and Lee algorithm (KL) and Cost Age and Times Algorithm (CAT). This paper discusses all these wearleveling policies and introduces a Block Aging Prevention (BAP) technique which has been tested on 8Gb Flash. The comparison of all these algorithms show that the proposed technique has reduced the erasure count deviation of NAND flash blocks by 6.71% and 20% compared to DP and CAT respectively. It has also reduced overhead by 4% comparatively to DP.","PeriodicalId":167049,"journal":{"name":"2011 7th International Conference on Emerging Technologies","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131616161","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}

引用次数: 1

Energy efficient outlier detection in WSNs based on temporal and attribute correlations 基于时间和属性相关性的wsn节能离群点检测

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048470

N. Shahid, I. Naqvi

引用次数: 15

Scattering parameter measurements of infinite tunable reflectarrays 无限可调反射射线的散射参数测量

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048488

M. Inam, M. Ismail

引用次数: 1

Quantitative analysis of State-of-the-Art synchronizers: Clock domain crossing perspective 最新同步器的定量分析:时钟域交叉透视

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048485

N. Sharif, N. Ramzan, F. Lodhi, O. Hasan, S. R. Hasan

引用次数: 10

Malfree web server response 错误的web服务器响应

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048478

Mahmood Ahmad, Rana Faisal Munir

引用次数: 0

An algorithmic transformation for FPGA implementation of high throughput filters 一种用于FPGA实现高吞吐量滤波器的算法转换

2011 7th International Conference on Emerging Technologies Pub Date : 2011-10-20 DOI: 10.1109/ICET.2011.6048450

H. M. Kamboh, S. Khan

引用次数: 10