SAFE: A Declarative Trust-Agile System with Linked Credentials

Secure Access For Everyone (SAFE), is an integrated system for managing trust

using a logic-based declarative language. Logical trust systems authorize each

request by constructing a proof from a context---a set of authenticated logic

statements representing credentials and policies issued by various principals

in a networked system. A key barrier to practical use of logical trust systems

is the problem of managing proof contexts: identifying, validating, and

assembling the credentials and policies that are relevant to each trust

decision.

SAFE addresses this challenge by (i) proposing a distributed authenticated data

repository for storing the credentials and policies; (ii) introducing a

programmable credential discovery and assembly layer that generates the

appropriate tailored context for a given request. The authenticated data

repository is built upon a scalable key-value store with its contents named by

secure identifiers and certified by the issuing principal. The SAFE language

provides scripting primitives to generate and organize logic sets representing

credentials and policies, materialize the logic sets as certificates, and link

them to reflect delegation patterns in the application. The authorizer fetches

the logic sets on demand, then validates and caches them locally for further

use. Upon each request, the authorizer constructs the tailored proof context

and provides it to the SAFE inference for certified validation.

Delegation-driven credential linking with certified data distribution provides

flexible and dynamic policy control enabling security and trust infrastructure

to be agile, while addressing the perennial problems related to today's

certificate infrastructure: automated credential discovery, scalable

revocation, and issuing credentials without relying on centralized authority.

We envision SAFE as a new foundation for building secure network systems. We

used SAFE to build secure services based on case studies drawn from practice:

(i) a secure name service resolver similar to DNS that resolves a name across

multi-domain federated systems; (ii) a secure proxy shim to delegate access

control decisions in a key-value store; (iii) an authorization module for a

networked infrastructure-as-a-service system with a federated trust structure

(NSF GENI initiative); and (iv) a secure cooperative data analytics service

that adheres to individual secrecy constraints while disclosing the data. We

present empirical evaluation based on these case studies and demonstrate that

SAFE supports a wide range of applications with low overhead.

Naps in school can enhance the duration of declarative memories learned by adolescents

Sleep helps the consolidation of declarative memories in the laboratory, but the pro-mnemonic effect of daytime naps in schools is yet to be fully characterized. While a few studies indicate that sleep can indeed benefit school learning, it remains unclear how best to use it. Here we set out to evaluate the influence of daytime naps on the duration of declarative memories learned in school by students of 10–15 years old. A total of 584 students from 6th grade were investigated. Students within a regular classroom were exposed to a 15-min lecture on new declarative contents, absent from the standard curriculum for this age group. The students were then randomly sorted into nap and non-nap groups. Students in the nap group were conducted to a quiet room with mats, received sleep masks and were invited to sleep. At the same time, students in the non-nap group attended regular school classes given by their usual teacher (Experiment I), or English classes given by another experimenter (Experiment II). These 2 versions of the study differed in a number of ways. In Experiment I (n = 371), students were pre-tested on lecture-related contents before the lecture, were invited to nap for up to 2 h, and after 1, 2, or 5 days received surprise tests with similar content but different wording and question order. In Experiment II (n = 213), students were invited to nap for up to 50 min (duration of a regular class); surprise tests were applied immediately after the lecture, and repeated after 5, 30, or 110 days. Experiment I showed a significant ∼10% gain in test scores for both nap and non-nap groups 1 day after learning, in comparison with pre-test scores. This gain was sustained in the nap group after 2 and 5 days, but in the non-nap group it decayed completely after 5 days. In Experiment II, the nap group showed significantly higher scores than the non-nap group at all times tested, thus precluding specific conclusions. The results suggest that sleep can be used to enhance the duration of memory contents learned in school.

Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Naps in school can enhance the duration of declarative memories learned by adolescents

Sleep helps the consolidation of declarative memories in the laboratory, but the pro-mnemonic effect of daytime naps in schools is yet to be fully characterized. While a few studies indicate that sleep can indeed benefit school learning, it remains unclear how best to use it. Here we set out to evaluate the influence of daytime naps on the duration of declarative memories learned in school by students of 10–15 years old. A total of 584 students from 6th grade were investigated. Students within a regular classroom were exposed to a 15-min lecture on new declarative contents, absent from the standard curriculum for this age group. The students were then randomly sorted into nap and non-nap groups. Students in the nap group were conducted to a quiet room with mats, received sleep masks and were invited to sleep. At the same time, students in the non-nap group attended regular school classes given by their usual teacher (Experiment I), or English classes given by another experimenter (Experiment II). These 2 versions of the study differed in a number of ways. In Experiment I (n = 371), students were pre-tested on lecture-related contents before the lecture, were invited to nap for up to 2 h, and after 1, 2, or 5 days received surprise tests with similar content but different wording and question order. In Experiment II (n = 213), students were invited to nap for up to 50 min (duration of a regular class); surprise tests were applied immediately after the lecture, and repeated after 5, 30, or 110 days. Experiment I showed a significant ∼10% gain in test scores for both nap and non-nap groups 1 day after learning, in comparison with pre-test scores. This gain was sustained in the nap group after 2 and 5 days, but in the non-nap group it decayed completely after 5 days. In Experiment II, the nap group showed significantly higher scores than the non-nap group at all times tested, thus precluding specific conclusions. The results suggest that sleep can be used to enhance the duration of memory contents learned in school.

THE ROLE OF RULES, EXAMPLES AND INDIVIDUAL DIFFERENCES IN THE ACQUISITION OF DECLARATIVE AND PROCEDURAL SECOND LANGUAGE KNOWLEDGE

The relevance of explicit instruction has been well documented in SLA research. Despite numerous positive findings, however, the issue continues to engage scholars worldwide. One issue that was largely neglected in previous empirical studies - and one that may be crucial for the effectiveness of explicit instruction - is the timing and integration of rules and practice. The present study investigated the extent to which grammar explanation (GE) before practice, grammar explanation during practice, and individual differences impact the acquisition of L2 declarative and procedural knowledge of two grammatical structures in Spanish. In this experiment, 128 English-speaking learners of Spanish were randomly assigned to four experimental treatments and completed comprehension-based task-essential practice for interpreting object-verb (OV) and ser/estar (SER) sentences in Spanish. Results confirmed the predicted importance of timing of GE: participants who received GE during practice were more likely to develop and retain their knowledge successfully. Results further revealed that the various combinations of rules and practice posed differential task demands on the learners and consequently drew on language aptitude and WM to a different extent. Since these correlations between individual differences and learning outcomes were the least observed in the conditions that received GE during practice, we argue that the suitable integration of rules and practice ameliorated task demands, reducing the burden on the learner, and accordingly mitigated the role of participants’ individual differences. Finally, some evidence also showed that the comprehension practice that participants received for the two structures was not sufficient for the formation of solid productive knowledge, but was more effective for the OV than for the SER construction.

Evolucionismo e genética do transtorno de estresse pós-traumático

Os autores discutem, a partir do conceito evolutivo, como a resposta de estresse, nas suas possibilidades de fuga e luta e de imobilidade tônica, pode levar a uma nova compreensão etiológica do transtorno de estresse pós-traumático. Através da análise dos agrupamentos de sintomas desse diagnóstico - revivência, evitação e hiperexcitação -, procuram correlacionar os achados neurobiológicos e evolutivos. As descobertas atuais sobre a genética do transtorno de estresse pós-traumático são resumidas e colocadas nessa perspectiva evolutiva, dentro de conceitos que possibilitam o entendimento da interação gene/ambiente, como a epigenética. Propõem que a pesquisa dos fatores de risco do transtorno de estresse pós-traumático deva ser investigada do ponto de vista fatorial, onde a somatória destes aumenta o risco de desenvolvimento do quadro, não sendo possível a procura da causa do transtorno de forma única. A pesquisa de genes candidatos no transtorno de estresse pós-traumático deve levar em consideração todos os sistemas associados aos processos de respostas ao estresse, sistemas dos eixos hipotálamo-hipofisário-adrenal e simpático, mecanismos de aprendizado, formação de memórias declarativas, de extinção e esquecimento, da neurogênese e da apoptose, que envolvem vários sistemas de neurotransmissores, neuropeptídeos e neuro-hormônios.

Relationship Between Cortisol Levels and Memory Performance may be Modulated by the Presence or Absence of Cognitive Impairment: Evidence from Healthy Elderly, Mild Cognitive Impairment and Alzheimer`s Disease Subjects

An inverted U-shape function between cortisol levels and memory performance has been reported in studies on both young animals and humans. Yet little is known about this relationship in normal aging or in older subjects with cognitive impairment. This issue is particularly significant since increased levels of cortisol have been reported in Alzheimer`s disease (AD). The present study examined the association between cortisol levels and visual memory performance in healthy subjects as well as in individuals presenting mild cognitive impairment (MCI) or AD. Salivary cortisol was measured in 40 healthy elderly subjects, 31 individuals with amnestic MCI, and 40 subjects with mild probable AD. Memory performance was evaluated using the Brief Cognitive Screening Battery. Higher cortisol levels were associated with better memory performance in healthy elderly (p = 0.005), while higher cortisol levels were correlated with poorer memory performance in MCI subjects (p = 0.011). No correlation between cortisol and memory was found in the AD group (p > 0.05). These results suggest that the relationship between cortisol levels and memory performance in the aging process could vary according to the presence or absence of cognitive impairment.

Memory with emotional content, brain amygdala and Alzheimer`s disease

Objectives - A highly adaptive aspect of human memory is the enhancement of explicit, consciously accessible memory by emotional stimuli. We studied the performance of Alzheimer`s disease (AD) patients and elderly controls using a memory battery with emotional content, and we correlated these results with the amygdala and hippocampus volume. Methods - Twenty controls and 20 early AD patients were subjected to the International Affective Picture System (IAPS) and to magnetic resonance imaging-based volumetric measurements of the medial temporal lobe structures. Results - The results show that excluding control group subjects with 5 or more years of schooling, both groups showed improvement with pleasant or unpleasant figures for the IAPS in an immediate free recall test. Likewise, in a delayed free recall test, both the controls and the AD group showed improvement for pleasant pictures, when education factor was not controlled. The AD group showed improvement in the immediate and delayed free recall test proportional to the medial temporal lobe structures, with no significant clinical correlation between affective valence and amygdala volume. Conclusion - AD patients can correctly identify emotions, at least at this early stage, but this does not improve their memory performance.

There is no subjunctive in English

The western classical tradition identifies three moods: indicative, subjunctive, imperative. Protagoras split the indicative into interrogative and declarative. Palmer 2001, 2003 argues for only two: indicative and subjunctive. Given any of these classifications of mood, English has no category of mood and so has no subjunctive. Instead it has certain clause-types which express hypotheticality and which can be subsumed to the irrealis branch of the apparently universal category realis~irrealis; to which subjunctives, optatives, jussives and the like can also be subsumed.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

Neuronal Correlates of Brain-derived Neurotrophic Factor Val66Met Polymorphism and Morphometric Abnormalities in Bipolar Disorder

The brain-derived neurotrophic factor (BDNF) Val66Met polymorphism has been proposed as a possible candidate for involvement in the pathophysiology of bipolar disorder ( BD). To determine whether an association exists between the BDNF Val66Met genotype and morphometric abnormalities of the brain regions involved in memory and learning in BD and healthy subjects. Forty-two BD patients and 42 healthy subjects were studied. Interactions between BDNF Val66Met genotype and diagnosis in gray ( GM) volumes were analyzed using an optimized voxel-based morphometry technique. Declarative memory function was assessed with the California Verbal Learning Test II. Left and right anterior cingulate GM volumes showed a significant interaction between genotype and diagnosis such that anterior cingulate GM volumes were significantly smaller in the Val/Met BD patients compared with the Val/Val BD patients (left P = 0.01, right P = 0.01). Within-group comparisons revealed that the Val/Met carriers showed smaller GM volumes of the dorsolateral prefrontal cortex compared with the Val/Val subjects within the BD patient (P = 0.01) and healthy groups (left P = 0.03, right P = 0.03). The Val/Met healthy subjects had smaller GM volumes of the left hippocampus compared with the Val/Val healthy subjects (P<0.01). There was a significant main effect of diagnosis on memory function (P = 0.04), but no interaction between diagnosis and genotype was found (P = 0.48). The findings support an association between the BDNF Val66Met genotype and differential gray matter content in brain structures, and suggest that the variation in this gene may play a more prominent role in brain structure differences in subjects affected with BD. Neuropsychopharmacology (2009) 34, 1904-1913; doi: 10.1038/npp.2009.23; published online 18 March 2009

Suicide behavior and neuropsychological assessment of type I bipolar patients

Background: Neuropsychological deficits are often described in patients with bipolar disorder (BID). Some symptoms and/or associated characteristics of BD can be more closely associated to those cognitive impairments. We aimed to explore cognitive neuropsychological characteristics of type I bipolar patients (BPI) in terms Of lifetime Suicide attempt history. Method: We studied 39 BPI Outpatients compared with 53 healthy controls (HC) matched by age, educational and intellectual level. All Subjects were submitted to a neuropsychological assessment of executive functions, decision-making and declarative episodic memory. Results: When comparing BD1 patients, regardless of suicide attempt history or HC, we observed that bipolar patients performed worse than controls oil measures of memory, attention, executive functions and decision-making, Patients with a history of suicide attempt performed worse than non-attempters on measures of decision-making and there were a significant negative correlation between the number of suicide attempts and decision-making results (block 3 and net score). We also found significant Positive correlation between the number Of Suicide attempts and amount Of errors in Stroop Color Word Test (part 3). Limitations: The sample Studied call be considered small and a potentially confounding variable - medication status - were not controlled. Conclusion: Our results show the presence of neuropsychological deficits in memory, executive functions, attention and decision-making in BPI patients. Suicide attempts BPI scored worse than non-suicide attempt Bill oil measures of decision-making. More suicide attempts were associated with a worse decision-making process. Future research should explore the relationship between the association between this specific cognitive deficits in BPIs, serotonergic function and suicide behavior in bipolar patients as well other diagnostic groups. (C) 2009 Elsevier B.V. All rights reserved.

Three-dimensional mapping of hippocampal anatomy in unmedicated and lithium-treated patients with bipolar disorder

Declarative memory impairments are common in patients with bipolar illness, suggesting underlying hippocampal pathology. However, hippocampal volume deficits are rarely observed in bipolar disorder. Here we used surface-based anatomic mapping to examine hippocampal anatomy in bipolar patients treated with lithium relative to matched control subjects and unmedicated patients with bipolar disorder. High-resolution brain magnetic resonance images were acquired from 33 patients with bipolar disorder ( 21 treated with lithium and 12 unmedicated), and 62 demographically matched healthy control subjects. Three-dimensional parametric mesh models were created from manual tracings of the hippocampal formation. Total hippocampal volume was significantly larger in lithium-treated bipolar patients compared with healthy controls (by 10.3%; p=0.001) and unmedicated bipolar patients ( by 13.9%; p=0.003). Statistical mapping results, confirmed by permutation testing, revealed localized deficits in the right hippocampus, in regions corresponding primarily to cornu ammonis vertical bar subfields, in unmedicated bipolar patients, as compared to both normal controls (p=0.01), and in lithium-treated bipolar patients (p=0.03). These findings demonstrate the sensitivity of these anatomic mapping methods for detecting subtle alterations in hippocampal structure in bipolar disorder. The observed reduction in subregions of the hippocampus in unmedicated bipolar patients suggests a possible neural correlate for memory deficits frequently reported in this illness. Moreover, increased hippocampal volume in lithium-treated bipolar patients may reflect postulated neurotrophic effects of this agent, a possibility warranting further study in longitudinal investigations.