Psychological management of intractable seizures in an adolescent with a learning disability

Psychological interventions aimed at seizure management are described with a 14-year-old buy with a learning disability and intractable epilepsy. Baseline records suggested that a majority of tonic seizures and 'drop attacks' were associated with going off to sleep and by environmental 'startles'. Psychological formulation implicated sudden changes in arousal levels as an underlying mechanism of action. Cognitive-behavioural countermeasures were employed to alter arousal levels and processes in different ways in different 'at-risk' situations. A multiple baseline design was used to control for non-specific effects of interventions on non-targeted seizures. Results suggested significant declines in the number of sleep onset and startle-response seizures were attained by these methods. Gains were maintained at 2-month follow-up. (C) 1999 BEA Trading Ltd.

Late Adverse Effects of the Coadministration of Valproate and Lamotrigine

Individuals treated with combined valproate-lamotrigine rarely present late adverse effects (unrelated to introduction and titration). We describe four patients in whom such effects occurred after continuous, long-term use of valproate-lamotrigine (at 9 months to 2 years after final antiepileptic drug adjustment). The patients presented heterogeneous disturbances, including ataxia, vertigo, and headache, and rare movement disorders, such as tics and abnormal eye movements. Although these effects are heterogeneous in their occurrence and timing, they can alert physicians to the possibility of late neurologic disturbances, and must be considered in order to avoid unnecessary ancillary tests. Treatment discontinuation is unnecessary, given that a small decrease in dose led to remission of these adverse effects. (c) 2012 Elsevier Inc. All rights reserved.

Meniere's disease in the elderly

Menière disease usually begins in adults from 20 to 60 years old, and occurs in more than 10% of patients older than 65. The treatment of Menière disease in the elderly represents a challenge because of polymedication. Antivertiginous drugs such as betahistine and cinnarizin give good results with minor secondary effects. In contrast, major vestibular suppressor drugs such as thiethylperazin must be avoided as long-term treatment because of their side effects. Definitive vestibular surgical deafferentations such as labyrinthectomy and selective vestibular neurectomy represent optional procedures but must be carefully evaluated from case to case. Ablative procedures remain the efficient treatment of drop attacks, which represent a high potential risk of severe injuries by older patients sometimes with important social consequences.

Modelling Denial of Service Attacks on JFK with Meadow's Cost-Based Framework

We present the first detailed application of Meadows’s cost-based modelling framework to the analysis of JFK, an Internet key agreement protocol. The analysis identifies two denial of service attacks against the protocol that are possible when an attacker is willing to reveal the source IP address. The first attack was identified through direct application of a cost-based modelling framework, while the second was only identified after considering coordinated attackers. Finally, we demonstrate how the inclusion of client puzzles in the protocol can improve denial of service resistance against both identified attacks.

Experiences in Passively Detecting Session Hijacking Attacks in IEEE 802.11 Networks

Current IEEE 802.11 wireless networks are vulnerable to session hijacking attacks as the existing standards fail to address the lack of authentication of management frames and network card addresses, and rely on loosely coupled state machines. Even the new WLAN security standard - IEEE 802.11i does not address these issues. In our previous work, we proposed two new techniques for improving detection of session hijacking attacks that are passive, computationally inexpensive, reliable, and have minimal impact on network performance. These techniques utilise unspoofable characteristics from the MAC protocol and the physical layer to enhance confidence in the intrusion detection process. This paper extends our earlier work and explores usability, robustness and accuracy of these intrusion detection techniques by applying them to eight distinct test scenarios. A correlation engine has also been introduced to maintain the false positives and false negatives at a manageable level. We also explore the process of selecting optimum thresholds for both detection techniques. For the purposes of our experiments, Snort-Wireless open source wireless intrusion detection system was extended to implement these new techniques and the correlation engine. Absence of any false negatives and low number of false positives in all eight test scenarios successfully demonstrated the effectiveness of the correlation engine and the accuracy of the detection techniques.

Modeling key compromise impersonation attacks on group key exchange protocols

A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed under various models considering different adversarial actions. However, the analysis of group key exchange (GKE) protocols has not been as extensive as that of 2PKE protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for the case of GKE protocols. We first model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure even against outsider KCI attacks. The attacks on these protocols demonstrate the necessity of considering KCI resilience for GKE protocols. Finally, we give a new proof of security for an existing GKE protocol under the revised model assuming random oracles.

Protocol engineering for protection against denial-of-service attacks

Denial-of-service attacks (DoS) and distributed denial-of-service attacks (DDoS) attempt to temporarily disrupt users or computer resources to cause service un- availability to legitimate users in the internetworking system. The most common type of DoS attack occurs when adversaries °ood a large amount of bogus data to interfere or disrupt the service on the server. The attack can be either a single-source attack, which originates at only one host, or a multi-source attack, in which multiple hosts coordinate to °ood a large number of packets to the server. Cryptographic mechanisms in authentication schemes are an example ap- proach to help the server to validate malicious tra±c. Since authentication in key establishment protocols requires the veri¯er to spend some resources before successfully detecting the bogus messages, adversaries might be able to exploit this °aw to mount an attack to overwhelm the server resources. The attacker is able to perform this kind of attack because many key establishment protocols incorporate strong authentication at the beginning phase before they can iden- tify the attacks. This is an example of DoS threats in most key establishment protocols because they have been implemented to support con¯dentiality and data integrity, but do not carefully consider other security objectives, such as availability. The main objective of this research is to design denial-of-service resistant mechanisms in key establishment protocols. In particular, we focus on the design of cryptographic protocols related to key establishment protocols that implement client puzzles to protect the server against resource exhaustion attacks. Another objective is to extend formal analysis techniques to include DoS- resistance. Basically, the formal analysis approach is used not only to analyse and verify the security of a cryptographic scheme carefully but also to help in the design stage of new protocols with a high level of security guarantee. In this research, we focus on an analysis technique of Meadows' cost-based framework, and we implement DoS-resistant model using Coloured Petri Nets. Meadows' cost-based framework is directly proposed to assess denial-of-service vulnerabil- ities in the cryptographic protocols using mathematical proof, while Coloured Petri Nets is used to model and verify the communication protocols using inter- active simulations. In addition, Coloured Petri Nets are able to help the protocol designer to clarify and reduce some inconsistency of the protocol speci¯cation. Therefore, the second objective of this research is to explore vulnerabilities in existing DoS-resistant protocols, as well as extend a formal analysis approach to our new framework for improving DoS-resistance and evaluating the performance of the new proposed mechanism. In summary, the speci¯c outcomes of this research include following results; 1. A taxonomy of denial-of-service resistant strategies and techniques used in key establishment protocols; 2. A critical analysis of existing DoS-resistant key exchange and key estab- lishment protocols; 3. An implementation of Meadows's cost-based framework using Coloured Petri Nets for modelling and evaluating DoS-resistant protocols; and 4. A development of new e±cient and practical DoS-resistant mechanisms to improve the resistance to denial-of-service attacks in key establishment protocols.