Research proposal Essay Example | Topics and Well Written Essays - 1000 words - 5

Research proposal - Essay Example The study will therefore focus on establishing various formal verification and security methods. The methods are expected to play a crucial role in the minimization of computer crimes and information wars. Formal verification and security are of great importance in the growth of hard ware and software systems. In the past years, there has been a tremendous progress in both the speed and capacity of constraint technology. In the 19th century the percentage of computer crimes and information war were very low. This was greatly attributed to lack of industrialization hence low technology advancement. However, in the 21st century, technology has drastically emerged amongst many societies in the world. Brake and Johnson (2001), states that technology has greatly advanced leading to computerization of various homestead and commercial based systems such as mobile phones, washing machine, automated teller machines among others. The increase in technology has led to emergence of various computer crimes and information wars hence the need for formal verification and security methods. Original methods and approaches are now being developed in order to protect the systems involved against attackers, to identify the attackers and to collect sensitive information so as to eliminate the threats. In the past, security protocols were designed and verified through informal techniques. The absence of formal verification led to security errors remaining undetected. Recently, emergence and presence of formal verification techniques have led to provision of a systematic way of discovering protocol flaws. Due to the increase in computer crimes, information wars and computer intrusions, the study purports to establish effective formal verification and security methods. The methods are expected to reduce computer crime rates in the world. The study also focuses on exploring possible applications of

The Tale of the Greatest Divine King Essay Example | Topics and Well Written Essays - 2500 words

The Tale of the Greatest Divine King - Essay Example Charlemagne journeyed to Rome and at Easter time he accompanied Pope Hadrian I to St. Peter’s Basilica, where they avowed mutual oaths, hence validating the union of Charles’ father with the papacy. The implication of the alliance was revealed by Charlemagne in a correspondence to Pope Leo III in 796,â€Å"It is our part with the help of divine holiness to defend by armed strength the holy church of Christ everywhere from the outward onslaughts of the pagans and the ravages of the infidels and to strengthen within the knowledge of the Catholic faith. It is your part, most Holy Father, to help our armies with your hands lifted up to Gold like Moses, so that, by your intercession and by the leadership and gift of God, the Christian people may everywhere   and always have victory over the enemies of his holy name and that the name of our Lord Jesus Christ may be glorified throughout the world† (Logan, 2002, 73). Through this letter, written by Charlemagne himself, it is logical to assume about his motive in forging the alliance and good relationship with the church. Here is an idea of a perfect Christian society, to whose security and prosperity both king and pope were tied together in a joint effort.Four years following the letter of Charlemagne, at Christmas in St. Peter’s Basilica, Pope Leo anointed and crowned Charlemagne as the new Roman emperor. Charlemagne, a king whose roots are barbaric, received the title of emperor on an occasion whose entire implication still mystifies modern scholarship. Since 487, there had been no Roman emperor in the West; the lone emperor was the woman named Irene, ruling the vestiges of the ancient Roman Empire from Constantinople.