Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Crystallization of progesterone polymorphs using polymer-induced heteronucleation (PIHn) method

Progesterone is a natural hormone steroid used in humans for several treatments and in livestock for artificial insemination, which exhibits two polymorphic forms at ambient conditions: form 1 and form 2. Form 2 is metastable and more soluble than form 1; however, it is not suitable to use as powder raw material because it transforms into form 1 by the effects of grinding. A polymorphic screening of progesterone based on polymer-induced heteronucleation method was performed as an alternative to prepare the metastable form. Polyvinyl alcohol, hydroxypropyl methylcellulose (HPMC), dextran, gelatin, polyisoprene (PI) and acrylonitrile-butadiene (NBR) copolymer were used. Crystals were prepared from 0.5, 10 and 40?mg/mL solutions in acetone at room temperature by solvent evaporation. The samples were characterized by X-ray powder diffraction, differential scanning calorimetry (DSC), scanning electron microcopy and attenuated total reflectance infrared Fourier transform spectroscopy. Form 1 was nucleated from 40?mg/mL solutions on the six polymers and from 10?mg/mL solutions on PI and NBR. The mixture of form 1 and form 2 was obtained from 10?mg/mL solution on HPMC, dextran and gelatin and from 0.5?mg/mL solution crystallizations. Therefore, the polymeric devices, which crystallized the metastable and more soluble polymorph (2) of progesterone, would be a promissory alternative for the pharmaceutical applications.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.     

Microscopic simulation of electronic noise in semiconductormaterials and devices

We present a microscopic interpretation of electronic noise in semiconductor materials and two-terminal devices. The theory is based on Monte Carlo simulations of the carrier motion self-consistently coupled with a Poisson solver. Current and voltage noise operations are applied and their respective representations discussed. As application we consider the cases of homogeneous materials, resistors, n⁺nn ⁺ structures, and Schottky-barrier diodes. Phenomena associated with coupling between fluctuations in carrier velocity and self-consistent electric field are quantitatively investigated for the first time. At increasing applied fields hot-carrier effects are found to be of relevant importance in all the cases considered here. As a general result, noise spectroscopy is found to be a source of valuable information to investigate and characterize transport properties of semiconductor materials and devices     

Comparative study of the colorants monascus and cochineal used in the preparation of gels made with various gelling agents

The possibilities of using monascus to colour gels were studied by comparing it with cochineal. Gels were prepared with four gelling agents—carrageenan, gellan, gelatine and xanthan—and their colour was measured with a Hunter Lab colorimeter. The equations relating L^* and h with the concentrations of sugar [SU] and colorant [COL] were deduced, and it was found that [COL] had more influence on colour than [SU]. In general, for these four gelling agents the colour of monascus gels is orange-red and the colour of cochineal gels is purplish red. The gels made with xanthan were always the lightest, whether they were made with cochineal or with monascus.     

Entities,identities, identifiers and credentials — what does it all mean?

This paper looks at the concepts of entities, identities, identifiers and credentials, their definitions, and how they combine to authenticate an identity to an account, or function, within a service. Credentials can be divided into several different types on the basis of their use, origin and characteristics. In particular, types such as composite, dynamic and derived credentials will be considered, and their applicability within an identity management system. Each credential must be managed through its entire life cycle from initial registration, general use and suspension, to deletion. The notion of public (i.e. freely distributable) and private (i.e. known only to you) aspects of a credential is explored. The bindings, by trusted third parties, of identifiers and public credentials into permits and instruments of proof is explained along with the convenience, but greater exposure, of local information. Several scenarios are analysed in terms of how different types of credentials are employed during the authentication process.