We present a method for proving representation correspondences in the Common Criteria (CC) certification of smart-card applications. For security policy enforcement, the CC defines a chain of requirements: a security policy model (SPM), a functional specification (FSP), and a target-of-evaluation design (TDS). In our approach to the CC certification, these requirements are models of application...

BACKGROUND Familial spastic paraplegia (FSP) is a heterogeneous group of disorders characterized primarily by progressive lower limb spasticity and weakness. More than 50 disease loci have been described with different modes of inheritance. Recently, we described a novel missense mutation (c.803G>A, p.R268Q) in the plasma membrane calcium ATPase (PMCA4, or ATP2B4) gene in a Chinese family with ...

This study examined effects on the developmental competence of pig oocytes after somatic cell nuclear transfer (SCNT) or parthenogenetic activation (PA) of : 1) co-culturing of oocytes with follicular shell pieces (FSP) during in vitro maturation (IVM); 2) different durations of maturation; and 3) defined maturation medium supplemented with polyvinyl alcohol (PVA; control), pig follicular fluid...

The complete conversion of NOx to harmless N2 without N2O formation is crucial for the control air pollution, especially at low temperatures. Cu-based catalysts are promising materials due their cost and high activity in NO dissociation, even comparable noble metals; however, they suffer from stability. Here, we established a Cu-Ce catalyst one step with strong metal–support interaction by flam...

BACKGROUND Strawberry flavonoids are potent antioxidants and anti-inflammatory agents that have been shown to reduce cardiovascular disease risk factors in prospective cohort studies. Effects of strawberry supplementation on metabolic risk factors have not been studied in obese populations. We tested the hypothesis that freeze-dried strawberry powder (FSP) will lower fasting lipids and biomarke...

Skin-derived precursors (SKPs), which are located at skin's dermis, display multi-lineage potential and can produce both neural and mesodermal progeny in vitro. SKPs are considered to take part in dermal reconstruction and may be an important source of fibroblast during wound repairing. To explore the possibility of differentiation of SKPs into fibroblasts, the 3(rd) passage SKPs were treated w...

Introduction The amount of speech information available to patients with cochlear implants (CIs) is reduced by the limitations of current CI systems, which are characterised by (a) an insufficient number of effective channels imposed by the design and placement of the electrode, leading to poor frequency resolution; (b) a deficiency in the representation of the fine structure of the input signa...