Cryptography and cryptographic protocols

We survey the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. We start by presenting some of the central tools (e.g., computational difficulty, pseudorandomness, and zero-knowledge proofs), and next turn to the treatment of encryption and signature schemes. We conclude with an extensive treatment of secure cryptographic protocols both when executed in a stand-alone manner and when many sessions of various protocols are concurrently executed and controlled by an adversary. The survey is intended for researchers in distributed computing, and assumes no prior familiarity with cryptography.Received: June 2001, Accepted: July 2002,     

Analysis of optical coherence multiplexing networks for satellite communication

Free-space optical communication between satellites networked together can enable a high data rate between the satellites. Coherence multiplexing (CM) is an attractive technique for satellite networking due to its ability to cope with the asynchronous nature of communication traffic and the dynamic changes taking place in the satellite constellation. The use of optical radiation for intersatellite links creates very narrow beam divergence angles. Due to the narrow beam divergence angle, the vibration of the pointing system, the movement of the satellite, and the large distance between them the pointing from one satellite to another is a complicated task. The vibration of the pointing system is caused by two stochastic fundamental mechanisms: 1) tracking noises created by the electrooptic tracker and 2) vibrations created by internal satellite mechanical mechanisms and external environments. We derive mathematical models of signal, noise, the approximate signal-to-noise ratio, and the approximate bit-error rates of optical communication satellite networks as functions of the system's parameters, the number of satellites, and the vibration amplitude for frequency-shift keying coherence multiplexing (FSK-CM). Based on these models, we can calculate the negative impact of both the number of satellites and the optical terminal vibration on the system's performance.     

Almost k-wise independence versus k-wise independence

We say that a distribution over {0,1}ⁿ is (ε,k)-wise independent if its restriction to every k coordinates results in a distribution that is ε-close to the uniform distribution. A natural question regarding (ε,k)-wise independent distributions is how close they are to some k-wise independent distribution. We show that there exist (ε,k)-wise independent distributions whose statistical distance is at least n^O(k)·ε from any k-wise independent distribution. In addition, we show that for any (ε,k)-wise independent distribution there exists some k-wise independent distribution, whose statistical distance is n^O(k)·ε.     

Assessing pre- and post-deformation in the southern Arava Valley segment of the Dead Sea Transform, Israel by differential interferometry

Differential radar interferometry, using archived ERS data over the region of the Dead Sea Transform, allows to detect ground movement (subsidence or uplift) in playas within the southern Arava Valley segment of the Dead Sea Rift. These measurements are consistent with a mean displacement rate of about 0.4 cm/month, in the direction of the radar beam, during the 8-month period preceding the Nuweiba earthquake of 22 November 1995. In the 3 years following the earthquake, the measured rate was smaller by a factor of 10. These movements are not related to salt diapirs or water pumping activities in the area. The exact location, along faults, suggests a possible correlation with pre-seismic and post-seismic fault deformation.A simple fault model consistent with the observed phenomena associates the observed subsidence/uplift to right and left stepping en-echelon fault patterns related to inter-seismic tensional accumulation along the faults. Further observations are necessary on this site and similar fault areas to corroborate the correlation between seismic activity and the observed phenomena. Monitoring of these sites should continue with differential Global positioning system (GPS) measurements and radar interferometric analysis using Envisat and Radarsat as well as archived data (including J-ERS).     

Micro-persistence and difficulty in a game-based learning environment for computational thinking acquisition

Persistence has been identified as a crucial quality of learning. However, it is hard to attain in online game-based environments as the drive to progress in the game may influence the ability to achieve the learning goals. This study aimed to examine the associations between micro-persistence, that is, the tendency to complete an individual task successfully, and task difficulty while acquiring computational thinking (CT). We further explored whether contextual or personal attributes better explain micro-persistence. We analysed data of 111 school students who used the CodeMonkey platform. We took a learning analytics approach for analysing the platform's log files. We found that micro-persistence is associated with task difficulty and that students who demonstrated an aptitude to learn new material are motivated to achieve the best solution. We also found that contextual variables better-explained micro-persistence than personal attributes. Encouraging micro-persistence can improve CT acquisition and the learning processes involved.     

Comprehensibility of UML-based software product line specifications

Software Product Line Engineering (SPLE) deals with developing artifacts that capture the common and variable aspects of software product families. Domain models are one kind of such artifacts. Being developed in early stages, domain models need to specify commonality and variability and guide the reuse of the artifacts in particular software products. Although different modeling methods have been proposed to manage and support these activities, the assessment of these methods is still in an inceptive stage. In this work, we examined the comprehensibility of domain models specified in ADOM, a UML-based SPLE method. In particular, we conducted a controlled experiment in which 116 undergraduate students were required to answer comprehension questions regarding a domain model that was equipped with explicit reuse guidance and/or variability specification. We found that explicit specification of reuse guidance within the domain model helped understand the model, whereas explicit specification of variability increased comprehensibility only to a limited extent. Explicit specification of both reuse guidance and variability often provided intermediate results, namely, results that were better than specification of variability without reuse guidance, but worse than specification of reuse guidance without variability. All these results were perceived in different UML diagram types, namely, use case, class, and sequence diagrams and for different commonality-, variability-, and reuse-related aspects.     

Air sampling of volatile sex pheromone components in a closed jar

A cotton wool plug, used as the source for pheromone release, was placed in closed 1-quart Mason jars, either at the mouth or at the rear of the jar. Air sampling of the two components of the sex pheromone (total 2.2 mg at the source) of the almond moth (Ephestia cautella) female showed that the saturation period near the source in still air was 20–22 hr and that far from the source was 40–50 hr, reaching a level of less than 1 ng/ml air. The ratio between the components (Z,E)-9,12-tetradecadienyl acetate, designated D, and (Z)-9-tetradecenyl acetate designated M, in the air was close to the original ratio for both sampling sites, albeit somewhat richer in the more volatile (Z)-9-tetradecenyl acetate (source 77.023.0 DM, air 73.0– 74.327.0–25.7; source 80.119.9, air 77.622.4; source 25.174.9, air 23.976. 1 DM). The total amount of pheromone per milliliter of air was two to three times larger near the source than far from it at the early stages of the evaporation and saturation process. When the amount of pheromone applied to the source was tripled (7 mg), the amount far from the source was almost tripled, or the saturation time was cut by factor of two to three.     

Preservice Teachers’ Understandings of the Relation Between a Fraction or Integer and Its Decimal Expansion: Strength and Stability of Belief

Abstract

In an earlier study of preservice elementary and middle school teachers’ beliefs about repeating decimals, Weller, Arnon, and Dubinsky (2009) reported on a comparison of the mathematical performance of 77 preservice teachers who completed an APOS-based instructional unit with 127 preservice teachers who completed traditional instruction. The purpose of the current study, based on 47 interviews conducted 4 months after the instruction, during which time there was no further instruction on this topic, is to determine the strength and stability (over time) of the students’ beliefs, to uncover thinking that did not arise in the earlier study, and to see whether the interviews yield similar comparative results. The interviews did uncover changes in student thinking. The students who received the APOS-based instruction developed stronger and more stable (over time) beliefs that a repeating decimal is a number; a repeating decimal has a fraction or integer to which it corresponds; a repeating decimal in general equals its corresponding fraction or integer; and, in particular, In addition, a number of indices and categories were developed that may prove useful in other studies consisting of the comparison of interview and questionnaire data involving a large number of interview subjects.     

Open source content contributors’ response to free-riding: The effect of personality and context

We address concerns about the sustainability of the open source content model by examining the effect of external appropriation, whereby the product of open source contributors’ efforts is monetized by a party that did not contribute to the project, on intended effort withdrawal (reduction in contribution level). We examine both the personality of contributors and their contextual motivations to contribute, using a scenario-based survey of Wikipedia contributors. The findings suggest that perceived justice of the open source license terms, and intrinsic motivations are both negatively related with effort withdrawal intentions. Moreover, we find that the effect of the fairness personality trait on effort withdrawal is stronger for individuals who are low in perceived justice and weaker for individuals high in justice. The findings of factors predicting effort withdrawal contribute to the open source literature, which tends to focus on contribution and motivations, but not on what impacts changes in individual contribution levels.     

Performance limitations of a free-space optical communication satellite network owing to vibrations: heterodyne detection

Free-space optical communication between satellites in a distributed network can permit high data rates of communication between different places on Earth. To establish optical communication between any two satellites requires that the line of sight of their optics be aligned during the entire communication time. Because of the large distance between the satellites and the alignment accuracy required, the pointing from one satellite to another is complicated because of vibrations of the pointing system caused by two fundamental stochastic mechanisms: tracking noise created by the electro-optic tracker and vibrations derived from mechanical components. Vibration of the transmitter beam in the receiver plane causes a decrease in the received optical power. Vibrations of the receiver telescope relative to the received beam decrease the heterodyne mixing efficiency. These two factors increase the bit-error rate of a coherent detection network. We derive simple mathematical models of the network bit-error rate versus the system parameters and the transmitter and receiver vibration statistics. An example of a practical optical heterodyne free-space satellite optical communication network is presented. From this research it is clear that even low-amplitude vibration of the satellite-pointing systems dramatically decreases network performance.