42381820
An Improvement of VeriSign's Key Roaming Service Protocol
In the past two or three years, most major Public Key Infrastructure (PKI) vendors have released products which allow users to roam from one machine to another without having to manually manage the export and import of their credentials such as private keys and corresponding certificates onto temporary media like diskettes. In this paper, we survey three popular key roaming products of Baltimore's, Entrust's and VeriSign's. We also propose key roaming system which improves VeriSign's roaming service and analyze its security.
2642560
Forward-secure commercial key escrow systems
Key escrow system has been studied widely in recent years to reduce the gap between the needs for individual privacy and the needs for public security. In this paper, we survey three popular key escrow products of Netscape's, VeriSign's and Entrust's. And we also propose forward-secure KESs (Key Escrow Systems) and analyze their security.
20202426
Integration of a Structural Index with a Structural Join for Accelerating Path Queries
Current techniques for processing XML queries can be divided into two groups. One is structural index techniques that reduce the search space by traversing a structural summary instead of a data graph. And the other is structural join techniques that can efficiently compute ancestor-descendant pairs from two lists of nodes without traversing the data graph. In this paper, we propose a structural index technique and a novel structural join technique and we prove that these two proposed techniques are integrated to accelerate processing of a path query in the experiments.
3492450
A framework for data prefetching using off-line training of Markovian predictors
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions through program analysis to purely hardware mechanisms have been proposed. The degrees of success of those techniques are dependent on the nature of the applications. The need for innovative approach is rapidly growing with the introduction of applications such as object-oriented applications that show dynamically changing memory access behavior In this paper, we propose a novel framework for the use of data prefetchers that are trained off-line using smart learning algorithms to produce prediction models which captures hidden memory access patterns. Once built, those prediction models are loaded into a data prefetching unit in the CPU at the appropriate point during the runtime to drive the prefetching. On average by using table size of about 8KB size, we were able to achieve prediction accuracy of about 68% through our own proposed learning method and performance was boosted about 37% on average on the benchmarks we tested. Furthermore, we believe our proposed framework is amenable to other predictors and can be done as a phase of the profiling-optimizing-compiler.
11308682
Techniques for improving the accuracy of geometric-programming based analog circuit design optimization
We present techniques for improving the accuracy of geometric-programming (GP) based analog circuit design optimization. We describe major sources of discrepancies between the results from optimization and simulation, and propose several methods to reduce the error. Device modeling based on convex piecewise-linear (PWL) function fitting is introduced to create accurate active and passive device models. We also show that in selected cases GP can enable nonconvex constraints such as bias constraints using monotonicity, which help reduce the error. Lastly, we suggest a simple method to take the modeling error into account in GP optimization, which results in a robust design over the inherent errors in GP device models. Two-stage operational amplifier and on-chip spiral inductor designs are given as examples to demonstrate the presented ideas.
46325531
A utility range-based interactive group support system for multiattribute decision making
Abstract This research suggests an interactive procedure for solving a multiattribute group decision problem using a range-typed utility information, and develops an interactive group support system (RINGS) to implement some capabilities of the procedure. It is often difficult for group members to articulate their preferences with cardinal values, instead they prefer to give incomplete information only. Utility ranges are obtained by solving linear programming problems with incompletely specified information. RINGS finds out conflicting opinions among group members, compares each member's preferences with the others’, and suggests a direction for consensus seeking. The procedure of RINGS utilizes range-typed visual information, which helps the group reach a consensus. RINGS has several facilities like graphic user interface, model base, and database, so the total time to reach a group consensus is reduced. The evaluation of information systems is illustrated as a demonstration of some capabilities of RINGS. Scope and purpose This paper deals with the multiple attribute decision-making problem using a separable linear programming technique when group decision makers give only their incomplete information about the attribute weight and alternative value. The utility range for individual decision maker is calculated from each decision maker's incomplete information, and the utility range for group decision makers is obtained from those of individual decision makers. An interactive procedure for establishing a group's pairwise dominance relations with a group's utility range is described, and an interactive group support system (RINGS) is developed to implement the procedure. A case study about the evaluation of information systems is illustrated as a demonstration of some capabilities of RINGS.
3979458
Video-based document tracking: unifying your physical and electronic desktops
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video camera. We demonstrate our system in the context of two scenarios, <i>paper tracking</i> and <i>photo sorting</i>. In the paper tracking scenario, the system tracks changes in the stacks of printed documents and books on the desk and builds a complete representation of the spatial structure of the desktop. When users want to find a printed document buried in the stacks, they can query the system based on appearance, keywords, or access time. The system also provides a <i>remote desktop</i> interface for directly browsing the physical desktop from a remote location. In the photo sorting scenario, users sort printed photographs into physical stacks on the desk. The systemautomatically recognizes the photographs and organizes the corresponding digital photographs into separate folders according to the physical arrangement. Our framework provides a way to unify the physical and electronic desktops without the need for a specialized physical infrastructure except for a video camera.