Tags for Multi-Protocol Authentication

Formal methods have been proved successful in analyzing different kinds of security protocols. They typically formalize and study the security guarantees provided by cryptographic protocols, when executed by a (possibly unbounded) number of different participants. A key problem in applying formal methods to cryptographic protocols, is the study of multi-protocol systems, where different protocols are concurrently executed. This scenario is particularly interesting in a global computing setting, where several different security services coexist and are possibly combined together. In this paper, we discuss how the tagging mechanism presented in [M. Bugliesi, R. Focardi, and M. Maffei. Compositional analysis of authentication protocols. In Proceedings of European Symposium on Programming (ESOP 2004), volume 2986 of Lecture Notes in Computer Science, pages 140–154. Springer-Verlag, 2004, M. Bugliesi, R.Focardi, and M.Maffei. A theory of types and effects for authentication. In ACM Proceedings of Formal Methods for Security Engineering: from Theory to Practice (FMSE 2004), pages 1–12. ACM Press, October 2004] addresses this issue.     

High-pressure synthesis of crystalline polyethylene using optical catalysis

Polymerization processes are probably the most relevant example of a chemical reaction activated by catalysts or radical initiators. Among polymers, polyethylene is by far the most common and largely produced. Here we present a high-pressure synthesis of high-density crystalline polyethylene by using only physical tools such as pressure and light. Low-density polyethylene is obtained by compressing ethylene at room temperature above 3 GPa in the ordered crystal phase, and a highly crystalline polymer is produced in the fluid phase at pressures lower than 1 GPa by using continuous-wave laser lines (lambda < or = 460 nm) as an optical catalyst. The photo-activation is based on a two-photon absorption process to pi* antibonding states, where the change in molecular geometry favours the polymeric chain formation. The high yield and crystallinity of the polymer recovered by the photoinduced reaction and the simplicity of the synthesis make this process appealing for large-scale applications.     

Characterization of microstructured optical fibers for wideband dispersion compensation

Microstructured optical fibers (MOFs) with small hole-to-hole spacing and large airholes are designed to compensate the anomalous dispersion and the dispersion slope of single-mode fibers. The geometrical parameters that characterize triangular MOFs are chosen to optimize the fiber length and the compensation over a wide wavelength range. A proper design of the photonic crystal fiber geometry allows us to achieve dispersion values of approximately -1700 ps nm(-1) km(-1) at 1550 nm and to compensate the dispersion of standard fibers within +/- 0.5 ps nm(-1) km(-1) over a 100-nm range. The MOF dispersion properties have been studied by means of a numerical simulator for modal analysis based on the finite-element method.     

A Model of Partially Observable State Game and its Optimality

In this paper we present a model of two-players partially observable state-game and study its optimality. The model is inspired by the practical problem of negotiation in a multi-agent system and formulates, from a the game theory point of view, the so-called contract net protocol. It covers a wide variety of real problems including some simple card games such as blackjack, and many negotiation and bargaining situations. The results that follow are valid for non-zero-sum games as well as for zero-sum games. Basically, we establish and prove the relation between partially observable state games and some classical (single-state) bi-matrix games. If the original state game is zero-sum, then the equivalent bi-matrix game is so.     

Membrane Systems with Marked Membranes

Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane systems which differ from conventional membrane systems by the following features: (1) biomolecules (proteins) can move through the regions of the systems, and can attach onto (and de-attach from) membranes, and (2) membranes can evolve depending on the attached molecules. The evolution of membranes is performed by using rules that are motivated by the operation of pinocytosis (the pino rule) and the operation of cellular dripping (the drip rule) that take place in living cells. We show that such membrane systems are computationally universal. We also show that if only the second feature is used then one can generate at least the family of Parikh images of the languages generated by programmed grammars without appearance checking (which contains non-semilinear sets of vectors). If, moreover, the use of pino/drip rules is non-cooperative (i.e., not dependent on the proteins attached to membranes), then one generates a family of sets of vectors that is strictly included in the family of semilinear sets of vectors. We also consider a number of decision problems concerning reachability of configurations and boundness.     

Dissimilar Resistance Spot Welding of Q&P and TWIP Steel Sheets

Dissimilar resistance spot welding of twinning induced plasticity (TWIP) and quenching and partitioning (Q&P) steel grades has been investigated by evaluating the effects of clamping force, welding current, and welding time on the microstructure, shear tension strength, and fracture of welded samples. The spot welding of TWIP and Q&P steels promotes the occurrence of an asymmetrical weld nugget with a greater dilution of TWIP steel because of its lower melting temperature and thermal conductivity. As a result, weld nuggets exhibit an austenitic microstructure. TWIP steel undergoes a grain coarsening in the HAZ, whereas Q&P steel undergoes some phase transformations. Welded samples tend to exhibit higher shear tension strength as they are joined at the highest welding current, even though an improper clamping force can promote excessive metal expulsion, thereby reducing the mechanical strength of the welded joints. Shear tension welded samples failed through interfacial fracture with partial thickness fracture mode for a low welding current, while partial thickness with button pull fractures were observed when a high welding current was used. The weld spots predominantly failed at the TWIP side. However, as TWIP steel can work harden significantly in the more resistant welded joints, the failures occur, instead, at the Q&P side.     

On‐Chip Magnetic Platform for Single‐Particle Manipulation with Integrated Electrical Feedback

Methods for the manipulation of single magnetic particles have become very interesting, in particular for in vitro biological studies. Most of these studies require an external microscope to provide the operator with feedback for controlling the particle motion, thus preventing the use of magnetic particles in high‐throughput experiments. In this paper, a simple and compact system with integrated electrical feedback is presented, implementing in the very same device both the manipulation and detection of the transit of single particles. The proposed platform is based on zig‐zag shaped magnetic nanostructures, where transverse magnetic domain walls are pinned at the corners and attract magnetic particles in suspension. By applying suitable external magnetic fields, the domain walls move to the nearest corner, thus causing the step by step displacement of the particles along the nanostructure. The very same structure is also employed for detecting the bead transit. Indeed, the presence of the magnetic particle in suspension over the domain wall affects the depinning field required for its displacement. This characteristic field can be monitored through anisotropic magnetoresistance measurements, thus implementing an integrated electrical feedback of the bead transit. In particular, the individual manipulation and detection of single 1‐μm sized beads is demonstrated.     

Smart consumer load balancing: state of the art and an empirical evaluation in the Spanish electricity market

The basis of an efficient functioning of a power grid is an accurate balancing of the electricity demand of all the consumers at any instant with supply. Nowadays, this task involves only the grid operator and retail electricity providers. One of the facets of the Smart Grid vision is that consumers may have a more active role in the problem of balancing demand with supply. With the deployment of intelligent information and communication technologies in domestic environments, homes are becoming smarter and able to play a more active role in the management of energy. We use the term Smart Consumer Load Balancing to refer to algorithms that are run by energy management systems of homes in order to optimise the electricity consumption, to minimise costs and/or meet supply constraints. In this work, we analyse different approaches to Smart Consumer Load Balancing based on (distributed) artificial intelligence. We also put forward a new model of Smart Consumer Load Balancing, where consumers actively participate in the balancing of demand with supply by forming groups that agree on a joint demand profile to be contracted in the market with the mediation of an aggregator. We specify the business model as well as the optimisation model for load balancing, showing the economic benefits for the consumers in a realistic scenario based on the Spanish electricity market.     

Building linked ontologies with high precision using subclass mapping discovery

The creation of links between schemas of published datasets is a key part of the Linked Open Data (LOD) paradigm. The ability to discover these links “on the go” requires that ontology matching techniques achieve good precision and recall within acceptable execution times. In this paper, we add similarity-based and mediator-based ontology matching methods to the Agreementmaker ontology matching system, which aim to efficiently discover high precision subclass mappings between LOD ontologies. Similarity-based matching methods discover subclass mappings by extrapolating them from a set of high quality equivalence mappings and from the interpretation of compound concept names. Mediator-based matching methods discover subclass mappings by comparing polysemic lexical annotations of ontology concepts and by considering external web ontologies. Experiments show that when compared with a leading LOD approach, Agreementmaker achieves considerably higher precision and F-measure, at the cost of a slight decrease in recall.