Update Semantics of Security Protocols

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.     

Professional Financial Advice and Subjective Well-Being

In this paper, we examine the relationship between professional financial advice (PFA) and subjective well-being (SWB). Utilizing the Dutch Household Survey 1995–2018, we find that regarding a professional financial advisor as most important source of financial advice is associated with higher levels of SWB. This association is stronger for households that experienced an increase in income, individuals who do not consider themselves financially knowledgeable, and individuals that have a weaker internal locus of control and have a lower degree of conscientiousness.

     

Presence,Content, and Characteristics of Memories of Individuals with Dental Phobia

Knowledge about memories of distressing events underlying fears and specific phobias is limited. This study assessed (1) the presence, content, and characteristics of memories of events that initiated or exacerbated dental anxiety levels; and (2) the relationship between dental trait anxiety and some key features of these memories. This study used a semi‐structured interview and included dental phobics (n = 42), subthreshold dental phobics (n = 41), and normal controls (n = 70). Dental phobics were more likely to report a memory underlying their anxiety than the normal controls. Moreover, dental phobics' memories were reported as more vivid, disturbing, and more intensely relived than the memories of the normal controls. Greater severity of dental trait anxiety was significantly associated with greater disturbance of patients' memories. The results suggest that memories of distressing events play a significant role in the development of dental phobia and that their characteristics are associated with severity of dental trait anxiety. Copyright © 2015 John Wiley & Sons, Ltd.     

Counselees’ Expressed Level of Understanding of the Risk Estimate and Surveillance Recommendation are Not Associated with Breast Cancer Surveillance Adherence

We studied counselees’ expressed understanding of the risk estimate and surveillance recommendation in the final consultation for breast cancer genetic counseling in relation with their risk perception, worry and cancer surveillance adherence 1 year post-counseling. Consecutive counselees were included from 2008 to 2010. Counselees with an indication for diagnostic DNA-testing for themselves or a breast cancer affected relative were requested to complete online questionnaires before and after counseling and one year after counseling (N?=?152–124). Self-reported surveillance was compared to surveillance recommendations. Consultations were videotaped. Counselees’ reactions to the risks and recommendations were coded. Statements about the risk perception and surveillance intentions of breast cancer unaffected counselees were transcribed. Associations with outcomes were explored. Almost all breast cancer unaffected counselees (>90 %) reacted to their risk estimate with an utterance indicating understanding and this reaction was not significantly associated with their post-visit risk perception alignment. Over one-third (38.6 %) overestimated their risk post-counseling. Few counselees (5.8 %) expressed surveillance intentions. One year after counseling, about three-quarters (74.0 %) of the breast cancer unaffected counselees had adhered to the surveillance recommendation. Almost one-quarter (23.3 %) had performed more mammograms/MRI scans than recommended, which was associated with prior mammography uptake (n?=?47; X ² ?=?5.2; p?=?.02). Counselees’ post-counseling overestimation of their risk, high levels of worry and high surveillance uptake were not reflected in their reactions to the counselor’s information during the final visit.     

Heart Rate Variability and Sustained Attention in ADHD Children

The major goal of the current study was to investigate the association between continuous performance tests (CPTs) and the heart rate variability (HRV) of attention deficit hyperactivity disorder (ADHD) children. The HRV, specifically the 0.10-Hz component, may be considered to be a psychophysiological index of effort allocation (motivation): The less effort the subject allocates, the greater the 0.10-Hz component. Results indicated that, compared to controls, ADHD subjects had a greater 0.10-Hz component, which was associated with poor test performance over time. Thus, using a psychophysiological measure, we were able to confirm the clinical concept of ADHD from a motivational perspective.     

Effectiveness of the ‘Hold me Tight’ Relationship Enhancement Program in a Self‐referred and a Clinician‐referred Sample: An Emotionally Focused Couples Therapy‐Based Approach

While evidence‐based couple therapies are available, only a minority of troubled couples seek help and they often do this too late. To reach more couples earlier, the couple relationship education (CRE) group program “Hold me Tight” (HmT) based on Emotionally Focused Couples Therapy (EFCT) was developed. This study is the first to examine the effectiveness of HmT. Using a three‐wave (waiting period, treatment, and follow‐up) within‐subject design, HmT was delivered to 79 self‐referred couples and 50 clinician‐referred couples. We applied a comprehensive outcome measure battery. Our main findings were that (1) self‐referred couples significantly improved during HmT on all measures, that is relationship satisfaction, security of partner‐bond, forgiveness, daily coordination, maintenance behavior, and psychological complaints, with a moderate‐to‐large mean effect size (d = .63), which was maintained (d = .57) during the 3.5 month follow‐up; (2) in clinician‐referred couples, who were vulnerable in terms of insecure attachment status and psychopathology, the improvement during HmT was moderate (d = .42), but this was reduced during the 3.5‐month follow‐up to a small effect (d = .22); (3) emotional functioning (typical HmT target) as well as behavioral functioning (typical Behavioral Couples Therapy‐based CRE target) improved during HmT; and (4) individual psychological complaints, although not specifically targeted, were reduced during HmT. These findings suggest that HmT is a promising intervention for enhancement of relationship functioning. Clinical implications are discussed.     

Head movements while steering around bends

In this study, the determinants of head motions (rotations) when driving around bends were investigated when drivers viewed the scene through a head-mounted display. The scene camera was either fixed or coupled to head motions along 2 or 3 axes of rotation. Eight participants drove around a triangular circuit and the range and speed of head rotations, the correlations between head rotations and lateral acceleration, and the coupling between the different axes of head rotation were calculated. Results showed that substantial head rotations were made even when head rotations had no influence on the direction of the camera, suggesting a strong motor coupling between steering actions and head motion. Head roll was determined, at least in part, by the gravito-inertial force, contradicting earlier results reported in the literature.