Abstract: Resistance of denial of service attacks is a key security requirement in voting protocols. Acquisti protocol plays an important role in development of internet voting protocols and claims its security without strong physical assumptions. In this study firstly Acquisti protocol is modeled in extended applied pi calculus, and then resistance of denial of service attacks is proved with ProVerif. The result is that it is not resistance of denial of service attacks because two denial of service attacks are found. Finally we give the method against the denial of service attacks.
Abstract: This paper presents a formalisation of the different existing code mutation techniques (polymorphism and metamorphism) by means of formal grammars. While very few theoretical results are known about the detection complexity of viral mutation techniques, we exhaustively address this critical issue by considering the Chomsky classification of formal grammars. This enables us to determine which family of code mutation techniques are likely to be detected or on the contrary are bound to remain undetected. As an illustration we then present, on a formal basis, a proof-of-concept metamorphic mutation engine denoted PB MOT, whose detection has been proven to be undecidable.
Abstract: The incidence of oral cancer in Taiwan increased year
by year. It replaced the nasopharyngeal as the top incurrence among
head and neck cancers since 1994. Early examination and earlier
identification for earlier treatment is the most effective medical
treatment for these cancers. Although the government fully subsidized
the expenses with tremendous promotion program for oral cancer
screening, the citizen-s participation remained low. Purpose of this
study is to understand the factors affecting the citizens- behavior
intensions of taking an oral cancer screening. Based on the Theory of
Planned Behavior, this study adopted four distinctive variables in
explaining the captioned behavior intentions.700 questionnaires were
dispatched with 500 valid responses or 71.4% returned by the citizens
with an age 30 or above from the eastern counties of Taiwan. Test
results has shown that attitude toward, subjective norms of, and
perceived behavioral control over the oral cancer screening varied
from some demographic factors to another. The study proofed that
attitude toward, subjective norms of, and perceived behavioral control
over the oral cancer screening had positive impacts on the
corresponding behavior intention. The test concluded that the theory
of planned behavior was appropriate as a theoretical framework in
explaining the influencing factors of intentions of taking oral cancer
screening. This study suggested the healthcare professional should
provide high accessibility of screening services other than just
delivering knowledge on oral cancer to promote the citizens-
intentions of taking the captioned screening. This research also
provided a practical implication to the healthcare professionals when
formulating and implementing promotion instruments for lifting the
screening rate of oral cancer.
Abstract: This paper seeks to develop simple yet practical and
efficient control scheme that enables cooperating arms to handle a
flexible beam. Specifically the problem studied herein is that of two
arms rigidly grasping a flexible beam and such capable of generating
forces/moments in such away as to move a flexible beam along a
predefined trajectory. The paper develops a sliding mode control law
that provides robustness against model imperfection and uncertainty.
It also provides an implicit stability proof. Simulation results for two
three joint arms moving a flexible beam, are presented to validate the
theoretical results.
Abstract: A catastrophic earthquake measuring 6.3 on the
Richter scale struck the Christchurch, New Zealand Central Business
District on February 22, 2012, abruptly disrupting the business of
teaching and learning at Christchurch Polytechnic Institute of
Technology. This paper presents the findings from a study
undertaken about the complexity of delivering an educational
programme in the face of this traumatic natural event. Nine
interconnected themes emerged from this multiple method study:
communication, decision making, leader- and follower-ship,
balancing personal and professional responsibilities, taking action,
preparedness and thinking ahead, all within a disruptive and uncertain
context. Sustainable responses that maximise business continuity, and
provide solutions to practical challenges, are among the study-s
recommendations.
Abstract: In this paper we study the use of a new code called
Random Diagonal (RD) code for Spectral Amplitude Coding (SAC)
optical Code Division Multiple Access (CDMA) networks, using
Fiber Bragg-Grating (FBG), FBG consists of a fiber segment whose
index of reflection varies periodically along its length. RD code is
constructed using code level and data level, one of the important
properties of this code is that the cross correlation at data level is
always zero, which means that Phase intensity Induced Phase (PIIN)
is reduced. We find that the performance of the RD code will be
better than Modified Frequency Hopping (MFH) and Hadamard code
It has been observed through experimental and theoretical simulation
that BER for RD code perform significantly better than other codes.
Proof –of-principle simulations of encoding with 3 channels, and 10
Gbps data transmission have been successfully demonstrated together
with FBG decoding scheme for canceling the code level from SAC-signal.
Abstract: When a high DC voltage is applied to a capacitor with
strongly asymmetrical electrodes, it generates a mechanical force that
affects the whole capacitor. This is caused by the motion of ions generated around the smaller of the two electrodes and their subsequent interaction with the surrounding medium. If one of the electrodes is heated, it changes the conditions around the capacitor
and influences the process of ionisation, thus changing the value of the generated force. This paper describes these changes and gives
reasons behind them. Further the experimental results are given as proof of the ionic mechanism of the phenomenon.