Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols

Secure routing protocols for mobile ad hoc networks provide the required functionality for proper network operation. If the underlying routing protocol cannot be trusted to follow the protocol operations, additional trust layers, such as authentication, cannot be obtained. Threat models drive analysis capabilities, affecting how we evaluate trust. Current attacker threat models limit the results obtained during protocol security analysis over ad hoc routing protocols. Developing a proper threat model to evaluate security properties in mobile ad hoc routing protocols presents a significant challenge. If the attacker strength is too weak, we miss vital security flaws. If the attacker strength is too strong, we cannot identify the minimum required attacker capabilities needed to break the routing protocol. In this paper we present an adaptive threat model to evaluate route discovery attacks against ad hoc routing protocols. Our approach enables us to evaluate trust in the ad hoc routing process and allows us to identify minimum requirements an attacker needs to break a given routing protocol.     

Smooth Shape‐Aware Functions with Controlled Extrema

Functions that optimize Laplacian‐based energies have become popular in geometry processing, e.g. for shape deformation, smoothing, multiscale kernel construction and interpolation. Minimizers of Dirichlet energies, or solutions of Laplace equations, are harmonic functions that enjoy the maximum principle, ensuring no spurious local extrema in the interior of the solved domain occur. However, these functions are only C⁰ at the constrained points, which often causes smoothness problems. For this reason, many applications optimize higher‐order Laplacian energies such as biharmonic or triharmonic. Their minimizers exhibit increasing orders of continuity but lose the maximum principle and show oscillations. In this work, we identify characteristic artifacts caused by spurious local extrema, and provide a framework for minimizing quadratic energies on manifolds while constraining the solution to obey the maximum principle in the solved region. Our framework allows the user to specify locations and values of desired local maxima and minima, while preventing any other local extrema. We demonstrate our method on the smoothness energies corresponding to popular polyharmonic functions and show its usefulness for fast handle‐based shape deformation, controllable color diffusion, and topologically‐constrained data smoothing.     

An analysis and design method for linear systems under nested saturation

This paper considers a linear system under nested saturation. Nested saturation arises, for example, when the actuator is subject to magnitude and rate saturation simultaneously. A condition is derived in terms of a set of auxiliary feedback gains for determining if a given ellipsoid is contractively invariant. Moreover, this condition is shown to be equivalent to linear matrix inequalities (LMIs) in the actual and auxiliary feedback gains. As a result, the estimation of the domain of attraction for a given set of feedback gains can be formulated as an optimization problem with LMI constraints. By viewing the feedback gains as extra free parameters, the optimization problem can be used for controller design.     

Photopolymerizable liquid encapsulants for microelectronic devices: Thermal and mechanical properties of systems with reduced in‐mold cure times

Photopolymerizable liquid encapsulants (PLEs) for microelectronic devices may offer important advantages over traditional transfer molding compounds, including reduced in‐mold cure times, lower thermal stresses, and reduced wire sweep. In this contribution, we discuss an encapsulation process based upon a low viscosity resin that cures rapidly upon exposure to UV light. These highly filled PLEs are comprised of an epoxy novolac‐based vinyl ester resin (～25 wt %), fused silica filler (70–74 wt %), photoinitiator, silane coupling agent, and, in some cases, a thermal initiator. We have characterized the material properties (flexural strength and modulus, coefficient of thermal expansion, glass transition temperature, and thermal stress parameter) of PLEs cured with UV illumination times of 60, 90, and 120 s, as well as, the thermal conductivity and adhesive peel strength of PLEs photocured for 90 s. In addition, we investigated the effect of the fused silica loading and the initiation scheme on these properties. The results indicate that the PLEs are very promising for microelectronic encapsulation. These liquid encapsulants cure (to an ejectable hardness) in 1 min for an initiating light intensity of 200 mW/cm², and exhibit appropriate values for the thermal and mechanical properties listed above. © 2001 John Wiley & Sons, Inc. J Appl Polym Sci 81: 3449–3461, 2001     

Efficient shift detection using multivariate exponentially-weighted moving average control charts and principal components

This paper demonstrates the use of principal components in conjunction with the multivariate exponentially-weighted moving average (MEWMA) control procedure for process monitoring. It is demonstrated that the number of variables to be monitored is reduced through this approach, and that the average run length to detect process shifts or upsets is substantially reduced as well. The performance of the MEWMA applied to all the variables may be related to the MEWMA control chart that uses principal components through the non-centrality parameter. An average run length table demonstrates the advantages of the principal components MEWMA over the procedure that uses all of the variables. An illustrative example is provided.