2012 World Congress on Information and Communication Technologies最新文献

Modeling two way concurrent buffer system using timed automata in UPPAAL UPPAAL中使用时间自动机的双向并发缓冲系统建模

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409193

R. Mishra, M. Zeeshaan, S. Singh

{"title":"Modeling two way concurrent buffer system using timed automata in UPPAAL","authors":"R. Mishra, M. Zeeshaan, S. Singh","doi":"10.1109/WICT.2012.6409193","DOIUrl":"https://doi.org/10.1109/WICT.2012.6409193","url":null,"abstract":"Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations. In existing Tiny two way buffer system, both generators produce packets in half duplex manner after a delay of 10 seconds. However, generator one has an initial shift of 5 seconds after which it begins sending a packet every 10 seconds. Hence, initial delay for generator one is 15 seconds and for generator two it is 10 seconds. Due to this initial shift, both generators produce packets alternatively and is deadlock free as the packets do not meet at the same time instant. Moreover, the existing system model is not concurrent and hence takes more time for packet transfer in every iteration. In this paper we have proposed a model of buffer system using an additional dummy buffer for transfer of data packets, by introducing delay in various buffers of the proposed system that speeds up the transfer of packets. As a result the transfer of data becomes concurrent, deadlock free and hence the model proposed is time efficient. To model and simulate the proposed system we have used UPPAAL as a model checking tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata. Simulation results shows that the proposed two way buffer system is fully concurrent and time efficient as compared to the existing buffer system.","PeriodicalId":445333,"journal":{"name":"2012 World Congress on Information and Communication Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114660579","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

Secure real time remote video monitoring using selective encryption 安全的实时远程视频监控使用选择性加密

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409120

D. C. Gavankar, M. Chatterjee, S. J. Lawand

{"title":"Secure real time remote video monitoring using selective encryption","authors":"D. C. Gavankar, M. Chatterjee, S. J. Lawand","doi":"10.1109/WICT.2012.6409120","DOIUrl":"https://doi.org/10.1109/WICT.2012.6409120","url":null,"abstract":"Advances in video technology and computing gave a way to the growth for applications and devices in real time video monitoring. Video data containing real and accurate information is being used greatly by monitoring system. Monitoring systems are widely used at public institutions, banks, corporate and laboratories where security is very an important aspect. There is a growing need to visually monitor an area from a remote location using a video camera or web cam. The proliferation of web cams and the increasing use of streaming media have improved the ability of users to communicate with each other, to be entertained and to monitor or perform surveillance. Along with this the security of data travelling over network becomes essential. In this paper we propose a selective encryption based video monitoring system (SEVMS), which securely transfer data over untrusted nefwork. The live video data transferred over network is compressed and then selectively encrypted. Since the live video is selectively encrypted any unauthenticated person will not be able to view it. The system also provides facility of video on demand (VOD).","PeriodicalId":445333,"journal":{"name":"2012 World Congress on Information and Communication Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117202123","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}

引用次数: 5

Application of support vector machine in Continuous Authentication 支持向量机在连续认证中的应用

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409148

Tribhuvanesh Orekondy, S. Gosukonda, K. Srinivasa

引用次数: 1

Cooperative Security Agents for MANET MANET的合作安全代理

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409138

V. Mohite, L. Ragha

{"title":"Cooperative Security Agents for MANET","authors":"V. Mohite, L. Ragha","doi":"10.1109/WICT.2012.6409138","DOIUrl":"https://doi.org/10.1109/WICT.2012.6409138","url":null,"abstract":"A mobile ad hoc network (MANET) is a collection of autonomous nodes that communicate with each other by forming a multi-hop radio network and maintaining connections in a decentralized manner. Security remains a major challenge for these networks due to their features of open medium, dynamically changing topologies, reliance on cooperative algorithms, absence of centralized monitoring points, and lack of clear lines of defence. Ad hoc on-demand distance vector routing (AODV) is a very popular routing algorithm, they enables dynamic, self-starting, multi hop routing between participating mobile nodes wishing to establish and maintain an Ad Hoc network. An intermediate node, which takes part in packets forwarding, may behave maliciously and drop packets which goes through it, instead of forwarding them to the following node, where a malicious node falsely advertises good paths to a destination node during the route discovery process, such behavior is called blackhole attack. This attack becomes more sever when a group of malicious nodes cooperate to each other. However, it is vulnerable to the well-known cooperative blackhole attack. In this paper, a Detecting mechanism is presented against a coordinated attack by cooperative blackhole nodes in a MANET plus a method to secure the history records of packet delivery information at each contact so that other nodes can detect insider attacks (grayhole attack) by analyzing these packet delivery records and avoid the blackhole and the cooperative blackhole attacks by using Cooperative Security Agents.","PeriodicalId":445333,"journal":{"name":"2012 World Congress on Information and Communication Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121221320","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}

引用次数: 13

An approach to personalize the web using XML based ontologies 一种使用基于XML的本体来个性化web的方法

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409176

S. Vigneshwari, M. Aramudhan

引用次数: 6

Real time packet-injection-loss resistant data source authentication protocol for group communication 实时抗丢包的组通信数据源认证协议

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409238

Liu Zhirun, Li Guangyu

引用次数: 0

Copy-move forgery detection based on PHT 基于PHT的复制-移动伪造检测

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409232

Leida Li, Shushang Li, Jun Wang

引用次数: 35

Design of compact reversible decimal adder using RPS gates 采用RPS门的小型可逆十进制加法器的设计

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409100

R. K. James, K. Jacob, S. Sasi

引用次数: 11

A fast compression algorithm for seismic data from non-cable seismographs 非电缆地震仪地震数据的快速压缩算法

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409260

F. Zheng, Shufen Liu

引用次数: 7

An improved method of Muti-Generation Mixing Network Coding 一种改进的多代混合网络编码方法

2012 World Congress on Information and Communication Technologies Pub Date : 2012-10-01 DOI: 10.1109/WICT.2012.6409237

Rui Liu, Jianjun Hao, Yijun Guo

引用次数: 2