无线传感器网络的安全编程研究

IF 0.1 4区历史学 0 ARCHAEOLOGY Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI:10.4204/EPTCS.17.5

F. Martins, Luís M. B. Lopes, J. Barros

{"title":"无线传感器网络的安全编程研究","authors":"F. Martins, Luís M. B. Lopes, J. Barros","doi":"10.4204/EPTCS.17.5","DOIUrl":null,"url":null,"abstract":"Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"14 1","pages":"49-62"},"PeriodicalIF":0.1000,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"Towards the Safe Programming of Wireless Sensor Networks\",\"authors\":\"F. Martins, Luís M. B. Lopes, J. Barros\",\"doi\":\"10.4204/EPTCS.17.5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.\",\"PeriodicalId\":53164,\"journal\":{\"name\":\"Journal of Historic Buildings and Places\",\"volume\":\"14 1\",\"pages\":\"49-62\"},\"PeriodicalIF\":0.1000,\"publicationDate\":\"2010-02-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Historic Buildings and Places\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.17.5\",\"RegionNum\":4,\"RegionCategory\":\"历史学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"ARCHAEOLOGY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Historic Buildings and Places","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.17.5","RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"ARCHAEOLOGY","Score":null,"Total":0}

引用次数: 17

摘要

传感器网络在部署、编程和调试方面具有相当大的挑战性。当前用于这些平台的编程语言在规范和底层实现之间存在显著的语义差距。这一事实排除了(类型)安全应用程序的开发，这可能会简化编程和调试已部署网络的任务。在本文中，我们定义了传感器网络编程的核心演算，并建议将其用作开发类型安全的高级编程语言的汇编语言。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Towards the Safe Programming of Wireless Sensor Networks

Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助