Ramesh Bharadwaj, A. Biswas, J. James, S. Mukhopadhyay
{"title":"用于传感器网络的编程语言","authors":"Ramesh Bharadwaj, A. Biswas, J. James, S. Mukhopadhyay","doi":"10.1109/MWSCAS.2007.4488690","DOIUrl":null,"url":null,"abstract":"We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely, we present a synchronous programming language uSOL (secure operations language with uncertainty) that has capabilities of handling service invocations asynchronously, provides strong typing to ensure enforcement of information flow and security policies, has constructs for handling uncertainty, and has the ability to deal with failures (both benign and byzantine) of network components.","PeriodicalId":256061,"journal":{"name":"2007 50th Midwest Symposium on Circuits and Systems","volume":"138 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"uSOL: A programming language for sensor networks\",\"authors\":\"Ramesh Bharadwaj, A. Biswas, J. James, S. Mukhopadhyay\",\"doi\":\"10.1109/MWSCAS.2007.4488690\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely, we present a synchronous programming language uSOL (secure operations language with uncertainty) that has capabilities of handling service invocations asynchronously, provides strong typing to ensure enforcement of information flow and security policies, has constructs for handling uncertainty, and has the ability to deal with failures (both benign and byzantine) of network components.\",\"PeriodicalId\":256061,\"journal\":{\"name\":\"2007 50th Midwest Symposium on Circuits and Systems\",\"volume\":\"138 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 50th Midwest Symposium on Circuits and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MWSCAS.2007.4488690\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 50th Midwest Symposium on Circuits and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MWSCAS.2007.4488690","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely, we present a synchronous programming language uSOL (secure operations language with uncertainty) that has capabilities of handling service invocations asynchronously, provides strong typing to ensure enforcement of information flow and security policies, has constructs for handling uncertainty, and has the ability to deal with failures (both benign and byzantine) of network components.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
