-
1781.近似同步：分布式时间同步系统的抽象概念
[信息传输、软件和信息技术服务业] [2015-04-08]
In this paper, we present the concept of approximate synchrony, a modeling and verification abstraction for time-synchronized systems. Approximate synchrony is a sound and tunable abstraction. We have implemented approximate synchrony as a part of a model checker and used it to verify the Best Master Clock (BMC) algorithm, the core component of IEEE 1588 precision time protocol and the time-synchronized channel hopping protocol that is part of the IEEE 802.15.4e standard.
关键词：时间同步系统；分布式；IEEE 1588；最佳主时钟算法
-
1782.松散一致性分布式程序设计语言支持
[信息传输、软件和信息技术服务业] [2015-04-08]
This thesis explores how to aid developers of loosely consistent applications by providing programming language support for the difficulties they face. The language level is a natural place to tackle this problem: because developers that use loose consistency have fewer system facilities that they can depend on, consistency concerns are naturally pushed into application logic. In part, our goal has been to recognize, formalize, and automate application-level consistency patterns.
关键词：松散一致性；分布式计算；分布式编程；编程语言
-
1783.无线协作网络系统设计
[信息传输、软件和信息技术服务业] [2015-04-08]
This work focuses on the design aspects of physical and MAC communication layers, by suggesting low-complexity signal processing algorithms for multidevice cooperation and designing digital baseband hardware that showcases cooperation between two wireless devices.
关键词：无线协作网络；通信系统；正交镜像滤波器；系统设计
-
1784.Fabryq：使用手机作为控制可穿戴设备的网络智能代理
[信息传输、软件和信息技术服务业] [2015-04-08]
In this paper, we present Fabryq, a new platform that handles the complexities of creating such applications. Fabryq is especially aimed at supporting field deployments of prototype ubicomp hardware, e.g., for new interactive health devices. Fabryq turns a smartphone into a bridge that connects the short range wireless technology of Bluetooth Low Energy (BLE) with our cloud service via the Internet.We introduce a protocol proxy programming model to find and control peripheral devices from Javascript; and describe a UI pushdown technique to render user interfaces on phones within reach of peripheral devices.To illustrate the utility of our platform, we also implement MicroFabryq, a breadboard prototyping platform similar to Arduino with functionality exposed over a JavaScript API built exclusively with Fabryq.
关键词：智能代理；可穿戴设备；智能手机；短距离无线通信
-
1785.Mercury——实验室信息管理系统
[信息传输、软件和信息技术服务业] [2015-04-08]
The components of Mercury are a relational database management system (Ingres), daemons (background processes), and clients, in a dual, three tier application. This report describes the system design, database details, implementation technologies, and it gives some detailed examples.
关键词：Mercury；信息管理；管理信息系统；数据库
-
1786.移动电话安全性问题探讨
[信息传输、软件和信息技术服务业] [2015-04-08]
In this work we analyze the security of a few designs and implementations comprising a part of this network. First, we analyze the security of an IP Multimedia Subsystem (IMS) implementation for Android by a major US cellphone carrier, finding a man-in-the-middle attack. Secondly, we look at the 3GPP Authentication and Key Agreement (AKA) protocol, describing three new attacks on AKA in the context of Internet calling and Android. We have worked with the relevant parties to address these four attacks. And finally, we discuss the security aspects of modems in phone platforms from a systems design standpoint, highlighting threats and security objectives that can be used both in evaluating existing implementations as well as in creating new implementations.
关键词：移动电话；移动通信；AKA协议；IMS
-
1787.用户的新密码经理：基于网络的密码管理器安全性分析
[信息传输、软件和信息技术服务业] [2015-04-08]
We conduct a security analysis of five popular web-based password managers. Unlike “local” password managers, web-based password managers run in the browser. We identify four key security concerns for web-based password managers and, for each, identify representative vulnerabilities through our case studies. Our attacks are severe: in four out of the five password managers we studied, an attacker can learn a user’s credentials for arbitrary websites. We find vulnerabilities in diverse features like one-time passwords, bookmarklets, and shared passwords. The root-causes of the vulnerabilities are also diverse: ranging from logic and authorization mistakes to misunderstandings about the web security model, in addition to the typical vulnerabilities like CSRF and XSS.
关键词：密码；密码保护；密码管理；安全性分析；网络
-
1788.可预测和高效的自适应操作系统构建
[信息传输、软件和信息技术服务业] [2015-04-08]
We address the system-level challenge of supporting a dynamically changing, complex mix of simultaneously running applications with diverse requirements including responsiveness, throughput, and performance guarantees. In our approach, called Adaptive Resource Centric Computing (ARCC), the OS distributes resources to QoS domains called cells, which are explicitly parallel lightweight containers with guaranteed, user-level access to resources. The resource allocations are dynamically adjusted whenever applications change state or the mix of applications changes. This paper gives explicit details about our implementation of ARCC on Tessellation OS, an experimental platform for resource management on multicore-based computers. We discuss the implementation of cells, user-level scheduling, and resource allocation policies.
关键词：自适应；操作系统；可预测性
-
1789.集群计算框架下可靠的内存速度级存储实现
[信息传输、软件和信息技术服务业] [2015-04-08]
Tachyon is a distributed file system enabling reliable data sharing at memory speed across cluster computing frameworks. While caching today improves read workloads, writes are either network or disk bound, as replication is used for fault-tolerance. Tachyon eliminates this bottleneck by pushing lineage, a well-known technique borrowed from application frameworks, into the storage layer. The key challenge in making a long-lived lineage-based storage system is timely data recovery in case of failures. Tachyon addresses this issue by introducing a checkpointing algorithm that guarantees bounded recovery cost and resource allocation strategies for recomputation under common resource schedulers. Our evaluation shows that Tachyon outperforms in-memory HDFS by 110x for writes. It also improves the end-to-end latency of a realistic workflow by 4x. Tachyon is open source and is deployed at multiple companies.
关键词：集群计算；分布式；文件系统；数据共享；数据恢复
-
1790.代码片段的动态交互合成
[信息传输、软件和信息技术服务业] [2015-04-08]
Our approach is dynamic (giving accurate results and allowing programmers to reason about concrete executions), easy-to-use (supporting a wide range of correctness specifications), and interactive (allowing users to refine the candidate code snippets). We evaluate CodeHint and show that its algorithms are efficient and that in two user studies it improves programmer productivity by more than a factor of two.
关键词：编程语言；Java；动态交互；代码；代码片段
027-87841330