Rule-based dependency models for security protocol analysis

Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and impersonation, the arisen inconsistent data between principals and collusion attacks held by a group of dishonest principals have been largely ignored. Moreover, the previous methods focus on reasoning about certain security-related properties and detecting known attacks against secure message, whereas there have been insufficient efforts to handle the above hidden but powerful attacks. In this paper, we address these critical issues and prove the efficiency and intuitiveness of rule-based dependency models in defending a protocol against the attacks. This is able to provide a numerical estimation to measure he occurrence of these attacks. It will be useful in enhancing the current protocol analysis.

A rule-based intelligent energy management system for an internal combustion engine vehicle

An intelligent energy management system (IEMS) is developed to improve fuel efficiency of an internal combustion engine vehicle. It helps determine the best approach to run the engine system through dynamically analysing various factors relating to vehicle. The energy balance technique is implemented and utilised. The simulation outcome of the IEMS is compared against that of a conventional system under the same driving factors. The results show that the IEMS reduces the fuel consumption around 5.6% for the tested conditions.

Where the home in valley meets the damp dirty prison : a human rights perspective on therapeutic jurisprudence and the rule of forensic psychologists in correctional settings

The roles of forensic psychologists in coerced environments such as corrections include that of treatment provider (for the offender) and that of organizational consultant (for the community). This dual role raises ethical issues between offender rights and community rights; an imbalance results in the violation of human rights. A timely reminder of a slippery ethical slope that can arise is the failure of the American Psychological Association to manage this balance regarding interrogation and torture of detainees under the Bush administration. To establish a “bright-line position” regarding ethical practice, forensic psychologists need to be cognizant of international human rights law. In this endeavor, international covenants and a universal ethical code ought to guide practice, although seemingly unresolveable conflicts between the law and ethics codes may arise. A solution to this problem is to devise an ethical framework that is based on enforceable universally shared human values regarding dignity and rights. To this end, the legal theory of therapeutic jurisprudence can assist psychologists to understand the law, the legal system, and their role in applying the law therapeutically to support offender dignity, freedom, and well-being. In this way, a moral stance is taken and the forensic role of treatment provider and/or organizational consultant is not expected to trump the prescriptions and the proscriptions of the law.

The application of a fuzzy rule based system in an exposition of the antecedents of sedge warbler song flight

The utilization of a fuzzy aspect within data analysis attempts to move from a quantitative to a more qualitative investigative environment. As such, this may allow the more non-quantitative researchers results they can use, based on sets of linguistic terms. In this paper an inductive fuzzy decision tree approach is utilized to construct a fuzzy-rule-based system for the first time in a biological setting. The specific biological problem considered attempts to identify the antecedents (conditions in the fuzzy decision rules) which characterize the length of song flight of the male sedge warbler when attempting to attract a mate. Hence, for a non-quantitative investigator the resultant set of fuzzy rules allows an insight into the linguistic interpretation on the relationship between associated characteristics and the respective song flight duration.

Facts, threats and reds : common law constitutionalism and the rule of law

In a concurring judgment in Thomas v Mowbray, a High Court of Australia case turning on the Constitutional validity of terrorism-related control orders, Callinan J offers a re-evaluation of the Court’s earlier decision in the Australian Communist Party case to curtail executive power. According to Callinan J, factual matters knowable (but not known) at the time of the earlier decision might have given rise to a different outcome. In a dissenting judgment by Kirby J in the same case the Court’s reasoning in the Australian Communist Party case is robustly defended. These contested issues connect with the theoretical dispute between ‘common law constitutionalism’ and ‘constitutional positivism’ analysed by Dyzenhaus in the context of states of emergency where the limits of executive action and the role of supporting facts become particularly salient. They press the question of the status of the rule of law in the international as well as in the municipal sphere.

Finding rule groups to classify high dimensional gene expression datasets

Microarray data provides quantitative information about the transcription profile of cells. To analyse microarray datasets, methodology of machine learning has increasingly attracted bioinformatics researchers. Some approaches of machine learning are widely used to classify and mine biological datasets. However, many gene expression datasets are extremely high dimensionality, traditional machine learning methods cannot be applied effectively and efficiently. This paper proposes a robust algorithm to find out rule groups to classify gene expression datasets. Unlike the most classification algorithms, which select dimensions (genes) heuristically to form rules groups to identify classes such as cancerous and normal tissues, our algorithm guarantees finding out best-k dimensions (genes) to form rule groups for the classification of expression datasets. Our experiments show that the rule groups obtained by our algorithm have higher accuracy than that of other classification approaches.

Where is the rate in the rule?

A well-developed understanding of rate is foundational to conceptual understanding of introductory calculus. Many students achieve procedural competence with the application of rules for differentiation without developing an awareness of the connection between derivative and rate. In addition, rate-related reasoning is needed to make informed decisions in many everyday applications of rate. This paper reports on additional data collected during interviews for a project investigating the different ways rate may be experienced by pre-calculus students. Many researchers (for example Kaput, 1999) have suggested that the conceptual understanding of function may be enhanced through the presentation and exploration of multiple representations of a variety of functions. In this paper, one section of each interview is considered in detail to evaluate the participants’ understanding in a specific rate context. Participants were asked to discuss a dynamic geometry simulation of a blind on two different windows one rectangular and the other not. Detailed analysis of the video-record of each participant’s interview provides insights into their perceptions of rate in several different representations. In the sections below, the conceptual framework is described; details of the interviews and the computer-based simulation are provided; and the analysis of the data is discussed.

Policing, rule of law, state capacity and sustainable peace in Timor-Leste

This paper sets out to demonstrate the link between development, state capacity and peace, employing Timor-Leste as the case study. It employs the association between state capacity and development to illustrate where if state capacity is lacking or functions improperly there is likely to be a low level of state legitimacy. This in turn manifests as lack of respect for or failure of rule of law, developing as generalised lawlessness and anti-state activity and eventually manifesting as intra-state or civil conflict. In particular, policing is seen as a critical component in state legitimacy, being the 'front line' of the judicial system from which legitimacy ultimately derives. This issue is particularly critical in states emerging from traditional legal and judicial structures, but which have not yet articulated into 'rational-legal' structures. Ipso facto, key state institutions, such as the judicial system and police are required to function well, while these are alone not enough to guarantee peace, they are significant contributors to and guarantors of peace.

Potential applications of discrete-event simulation and fuzzy rule-based systems to structural reliability and availability

This chapter discusses and illustrates some potential applications of discrete-event simulation (DES) techniques in structural reliability and availability analysis, emphasizing the convenience of using probabilistic approaches in modern building and civil engineering practices. After reviewing existing literature on the topic, some advantages of probabilistic techniques over analytical ones are highlighted. Then, we introduce a general framework for performing structural reliability and availability analysis through DES. Our methodology proposes the use of statistical distributions and techniques – such as survival analysis – to model component-level reliability. Then, using failure- and repair-time distributions and information about the structural logical topology (which allows determination of the structural state from their components’ state), structural reliability, and availability information can be inferred. Two numerical examples illustrate some potential applications of the proposed methodology to achieving more reliable and structural designs. Finally, an alternative approach to model uncertainty at component level is also introduced as ongoing work. This new approach is based on the use of fuzzy rule-based systems and it allows the introduction of experts’ opinions and evaluations in our methodology.