Histórias de adoção tardia: considerações a partir da analítica existencial heideggeriana

Adoption establishes a filiation status, resulting from a legal act, which attributes to the child and parents the rights and obligations associated with such condition, being legally irrevocable. Nevertheless, in practice there are adoptions that do not concretize and the child returns to justice during or even after the legal process is closed. Late adoption is the denomination of the adoption of children over two years and it is still permeated by myths and stigmas, leading to a frequent return of the child to justice in these cases. The late adoption involves a process of building a unique relationship with a child whose backstory is commonly marked by the dissolution of the relationship with the family of origin, due to violation of rights and, in some cases, the experience of institutional care. Given such a scenario, this research, based on the Existential Analytic proposed by Martin Heidegger, seeks to understand the experience of mothers and children in the process of late adoption, in order to obtain subsidies to psychological attention in this context. This is a qualitative, phenomenological study with a comprehensive focus. The participants were two mothers and two children who have gone through late adoption for about two years. The procedures of data generation contemplated narrative interviews with mothers and individual meetings with children, in which ludic resources were used as mediators of expression (free drawings, unfinished children's story and "Story-Drawings" on late adoption). The procedures were audiotaped and transcribed. Data analysis was grounded in Heidegger's hermeneutics. The late adoption process, permeated by historical, social and cultural determinants and the web of meanings that create the historical singularity of each person involved have proved to be complex as seen in the narratives. The construction of the meanings of parenthood and filiation has been developing in the families in the study, from the experience of being-with-the-other, caring and dwelling in their peculiar modes of expression. The family of origin and the adoptive family mingle and differentiate by means of the experience of children, especially because of the existence of biological siblings. Data point to the importance of psychological care to family core in late adoption processes

Assédio moral na administração pública e a responsabilidade civil do estado

The social and economic changes of the last decades have enhanced the dehumanization of labor relations and the deterioration of the work environment, by the adoption of management models that foster competitiveness and maximum productivity, making it susceptible to the practice of workplace bullying. Also called mobbing, bullying can occur through actions, omissions, gestures, words, writings, always with the intention of attacking the self-esteem of the victim and destroy it psychologically. In the public sector, where relations based on hierarchy prevail, and where the functional stability makes it difficult to punish the aggressor, bullying reaches more serious connotations, with severe consequences to the victim. The Federal Constitution of 1988, by inserting the Human Dignity as a fundamental principle of the Republic, the ruler of the entire legal system, sought the enforcement of fundamental rights, through the protection of honor and image of the individual, and ensuring reparation for moral and material damage resulting from its violation. Therefore, easy to conclude that the practice of moral violence violates fundamental rights of individuals, notably the employee's personality rights. This paper therefore seeked to analyze the phenomenon of bullying in the workplace, with emphasis on the harassment practiced in the public sector as well as the possibility of state liability for harassment committed by its agents. From a theoretical and descriptive methodology, this work intended to study the constitutional, infra and international rules that protect workers against this practice, emphasizing on the fundamental rights violated. With this research, it was found that doctrine and jurisprudence converge to the possibility of state objective liability for damage caused by its agents harassers, not forgetting the possibility of regressive action against the responsible agent, as well as its criminal and administrative accountability.

Cartografia do trabalho de agentes penitenciários: reflexão sobre o “dispositivo prisão”

The Brazilian prison system is going through a serious crisis, not only due to the growth in the number of prisoners and the consequent overcrowding of prisons, but also for the violation of human rights, institutionalization and difficulty in social rehabilitation of inmates. Furthermore, the harmful effects of the prison system affect their workers, who generally are not prioritized by researchers, health programs and government policies. The literature pointing to some consequences of work in prison, among them, the mental illness, stress, alcohol abuse, etc., but little is known about this profession, their problems, the difficulties of their work routine, so as subjective processes involved. So, what are the effects of this work in the prison in the lives of correctional officers? What strategies developed to address the work in prison? This research aims to analyze the effects of this work in the prison in the lives of correctional officers from the state prison in Parnamirim, located in the metropolitan region of Natal-RN. Within the theoretical and methodological perspective of institutional analysis and cartography were carried conversation circles, interviews, in addition to participant observation of the correctional officers work’s routine. The results point to a working routine marked by the performance of procedures that involve risk to the worker, generating situations of tension and stress. Besides, the culture of violence (which is implemented in jail everyday) as well as the training and initial learning of the profession, are responsible for the militarization process of the subjectivities of the correctional officers, producing hard subject, disciplined, stiff, likely to violent practices and other rights violations. Other mapped effects relate to the acquisition of knowledge about the human (“psy” knowledge) responsible for forging the conception of the criminal as "dangerous subject", which, in turn, acts as subjectivity vector in the daily life of prison guards by setting up a way of life crossed by fear and insecurity outside the work environment. Produces a control in the open about their lives and their families, limiting them with regard to family and community life and the realization of leisure activities in public spaces. In this sense, it appears that the arrest acts producing “bad meetings” (from Espinosa's perspective), once it produces sad affections responsible for weakening the conatus, limiting the possibilities of action of these subjects. Although agents develop some strategies to deal with the difficulties of working in prison (among which stand out the development of other professional or leisure activities, spirituality / religiosity and the ability to separate the labor moments from those of their the personal lives, is advocated that such strategies do not offer significant resistance, since they do not question the contemporary legal-criminal logic. The thesis presented supports the proposals of penal abolitionism to present other conceptions of crime and justice through the invention of other practical and conceptual strategies.

Projeto de mobilidade urbana: estudo sobre processos de integração com habitação de interesse social nas obras do PAC da COPA 2014 em Natal/RN

The public political investments of urban mobility financed by PAC of Cup 2014 have developed discussions and questions by the civil society in Brazil expecting positive results to the urban infrastructure referring to the possible human rights violation and, specially, rights of habitation related to the removing/expropriation noticed. Natal, capital of Rio Grande do Norte, is into this context, due to the urban mobility project linking North Zone of the city to the Arena das Dunas stadium, financed by the PAC of Cup 2014, named West Structural Corridor, that crosses a field of social interest and proposes almost 400 expropriations. This research analyzes how strategies and mechanisms of integration were presented between the mobility project of West Structural Corridor and the Social Interest Habitation affected by this project. We have as hypothesis those projects financed by PAC of Cup 2014/Urban Mobility to Natal/RN present many problems related to the integration of social interest to the housing project, however the National Politics of Urban Development has planned this integration. As a result we detach 3 strategies in the elaboration process about the integration of those politics: (i) integration between municipal secretaries involved in this project; (ii) urban integration of the city; and (iii) integration of public rules or public politics integrated. For each strategy were presented the main mechanisms used to establish the integration of the project. Those mechanisms, however, in this process of establishment/implementation of the empirical research, presented many contradictions and conflicts that compose problems to the integration between the mobility project and the housing area affected.

Os limites do poder regulamentar do Conselho Nacional de Justiça no contexto do Estado constitucional brasileiro

The creation of the National Council of Justice (CNJ) through the Constitutional Amendment nº 45/2004, derived from countless gaps in Brazilian law, mainly relating to procedural delays, ineffectiveness of judicial decisions, and the lack of mechanisms that enable, effectively, disciplinary accountability of judges. The council is constitutionally designed as a member of the Judiciary, which has administrative nature and laid assignments in art. 103-B, § 4 of the current Constitution, among which is to edit regulations to instrument its performance. However, since it came into force, the amendment raised extensive discussions, linked in particular to the constitutionality of the CNJ, which was made through the direct action of unconstitutionality nº 3367, against the alleged violation of the principles of separation of powers and federative form, as well as the limits of its regulatory powers, as has fanned out in ADI nº 3823/ DF, this one dealing on Resolution nº 07, which regulates the seal of nepotism practice in the judiciary. However, despite the Supreme Court has already pronounced on the matter, recognizing the constitutionality of the council, as well as the resolution already said, the debate is in a state of latency, and may erupt again with each new manifestation of regulatory CNJ, given the lack of agreement between doctrine and jurisprudence around the constitutional treatment of its regulatory powers. In this context undeniably reflection on the definition of the regulatory power of the CNJ, presents itself as extremely relevant, and current, in particular in the ambience of the Constitutional Rule of Law, where he strives for legal certainty and consolidation of regulatory institutions. So that it could reach a satisfactory result, skilled at resolving the problems raised, the present study analyzed the reasons that gave rise to the creation of the CNJ, demonstrating their indispensability, but also sought to characterize the status of their administrative and constitutional body, noting finally, the compatibility of its regulatory activities to constitutional principles. From this perspective, we adopted the deductive method and carried out research and bibliographic nature documentary.

Direitos fundamentais sociais no Brasil: desafios e mecanismos para sua concretização

The work referred to above, in order to contribute to the legal issues, economic, political and social of the violation of social rights, performs even firmer approach to various implementation mechanisms of social rights in Brazil. Therefore, it begins the study dealing with aspects and important characters of the rights under discussion, as its normative forecast, concept, classifications; respect of social rights with the existential minimum; the principle of reservation of the possible and the need to use this principle as optimization commandment of state resources and the deficit of the realization of social rights in the country. This, in later chapters, in an interdisciplinary approach, challenges and proposals for the realization of social rights by bringing in each chapter, mechanisms for such implementation. That way, as a general objective, it has been to contribute to the discussed problems, when present proposals for the realization of social rights in the Brazilian context. As specific objectives, as well as record the key aspects of the rights in allusion, the one has to promote the perspective of economic development and taxation as posts instruments that the State must be focused on the promotion of social rights by registering in this context that nonexistent economic development without reducing poverty, misery and social inequality and adding that there should be a directly proportional relationship between the tax burden in the country and the human and social development index; analyze the achievement of budget control as essential and healthy measure for the realization of social rights; highlight the importance of society to the achievement of unavailable social interests, affirming the need for the implementation of participatory democracy and, in this line, brings knowledge of the Constitution and the constitutional sense as elements that provide the constitutional progress. Finally, it presents a study on public policies, considering that these are equivalent to the primary means of the promotion of social rights. That way it analyzes the stages that integrate public policies, ranging from the perception of social problems for evaluation and control of the policies implemented; debate about the administrative discretion in when it comes to public policies; brings the classification of essential public policies, the relationship of these with the existential minimum, control parameters and, finally, the legalization of public policy, regarded as legitimate to remedy the unconstitutional state failure and give normative effectiveness and strength to the defining constitutional rules for fundamental social rights. It uses to achieve the objectives outlined, the bibliographic and normative approach method and performs an analysis of jurisprudence related understandings to matter. In the conclusions, it rescues the most important aspects elucidated at work, with the aim of giving emphasis to the proposals and mechanisms that contribute to the solution of the discussed problems.

As múltiplas dimensões da garantia dos direitos do paciente idoso internado: o caso de uma instituição hospitalar pública no município de Natal/RN

In the context of current capitalist society, marked by the logic that restricts the human person their status as workforce, in order to generate profits, old age is often treated as an underprivileged life stage. This reality becomes more intense considering the sharp aging process that affects brazilian society is accompanied by the country's entry into a globalized world and tensioned by the dictates of capital. Thus, despite the increasing development of policies to strengthen the guarantee of elderly rights, it is necessary to establish effective strategies of these measures to ensure a higher quality of life to these subjects. Therefore, it is necessary to develop studies that problematize the issue of the elderly, which represent a growing portion of the population, and hence have more visible demands, including in health. With the increase in the elderly population in Brazil it is possible to realize the country is going through a demographic transition and epidemiological changes that contribute to change the landscape of health care of the elderly, especially the hospitalization. Thus, this study aimed to analyze the multiple aspects of ensuring the rights of elderly patients admitted to the State Hospital Dr. Ruy Pereira dos Santos (HRPS), located in Natal / RN, whose most patients are elderly. Specifically sought to understand the aging process, its social consequences and the vulnerability to which it is exposed, especially during the disease situation; understand the process of construction of the Brazilian public health and their actions for older people; learn the expressions of citizenship formation in Brazil with regard to policies for older people; and investigate the design of health professionals about the guarantee of the right of hospitalized elderly. Starting from an integrated coordinated theoretical and practical possibilities, a qualitative research and literature character, documentary and field was held. For this, there were four semi-structured interviews with health research locus Hospital professionals - namely, two social workers, a doctor and a nurse - as well as life stories with the hospitalized elderly patients, one in each deck the said Hospital, totaling three. The results pointed to the difficulty of health policy become effective as law and stressed one historical scenario violation of the rights of elderly hospitalized patients, which persists due to the precarious situation and the difficulty of effective implementation of the Unified Health System (SUS ) and other public policies to that end.

Ética da alimentação: porque devemos, segundo Kant, escolher uma alimentação adequada e saudável

This thesis proposes the adoption of a practical and philosophic approach to the discussion about what should be a healthy food, in view of the actual problems concerning this subject (from famine to obesity), which affect food and nutritional security and constitute target of many official policies. In order to handle this task, this work resorts to ethic, pedagogical and anthropological concepts inherent to Immanuel Kant’s philosophy, as valuable contributions to the practice of the professional nutritionist committed to the support and accomplishment of the human right to adequate nutrition (DHAA). Under this assumption, it intends to surpass the prevailing idea inside the social programs and policies favoring the utilitarian argument. It considers rather that a healthy food is also a duty of virtue, according to the Kantian duties to one-self. The liberation of transgenic seeds in Brazil comes up as an example of the violation of the right to food security and affects it negatively, resulting from the conflict between politics and moral faced by the Brazilian government. This paper concludes that DHAA realization requires not only a committed state, but also committed citizens and suggests that Kant’s philosophy should offer important contributions to supporting the practice of the professional nutritionist, awarding him the necessary information about this matter.

Ética da alimentação: porque devemos, segundo Kant, escolher uma alimentação adequada e saudável

This thesis proposes the adoption of a practical and philosophic approach to the discussion about what should be a healthy food, in view of the actual problems concerning this subject (from famine to obesity), which affect food and nutritional security and constitute target of many official policies. In order to handle this task, this work resorts to ethic, pedagogical and anthropological concepts inherent to Immanuel Kant’s philosophy, as valuable contributions to the practice of the professional nutritionist committed to the support and accomplishment of the human right to adequate nutrition (DHAA). Under this assumption, it intends to surpass the prevailing idea inside the social programs and policies favoring the utilitarian argument. It considers rather that a healthy food is also a duty of virtue, according to the Kantian duties to one-self. The liberation of transgenic seeds in Brazil comes up as an example of the violation of the right to food security and affects it negatively, resulting from the conflict between politics and moral faced by the Brazilian government. This paper concludes that DHAA realization requires not only a committed state, but also committed citizens and suggests that Kant’s philosophy should offer important contributions to supporting the practice of the professional nutritionist, awarding him the necessary information about this matter.

Synthesis and Properties of a Series of 1,1,n,n-Tetramethyl[n](2,11)teropyrenophanes

The work described in this thesis revolves around the 1,1,n,ntetramethyl[n](2,11)teropyrenophanes, which are a series of [n]cyclophanes with a severely bent, board-shaped polynuclear aromatic hydrocarbons (PAH). The thesis is divided into seven Chapters. The first Chapter conatins an overview of the seminal work on [n]cyclophanes of the first two members of the “capped rylene” series of PAHs: benzene and pyrene. Three different general strategies for the synthesis of [n]cyclophanes are discussed and this leads in to a discussion of some slected syntheses of [n]paracyclopahnes and [n](2,7)pyrenophanes. The chemical, structural, spectroscopic and photophysical properties of these benzene and pyrene-derived cyclophanes are discussed with emphasis on the changes that occur with changes in the structure of the aromatic system. Chapter 1 concludes with a brief introduction to [n]cyclophanes of the fourth member of the capped rylene series of PAHs: teropyrene. The focus of the work described in Chapter 2 is the synthesis of of 1,1,n,ntetramethyl[n](2,11)teropyrenophane (n = 6 and 7) using a double-McMurry strategy. While the synthesis 1,1,7,7-tetramethyl[7](2,11)teropyrenophane was successful, the synthesis of the lower homologue 1,1,6,6-tetramethyl[6](2,11)teropyrenophane was not. The conformational behaviour of [n.2]pyrenophanes was also studied by 1H NMR spectroscopy and this provided a conformation-based rationale for the failure of the synthesis of 1,1,6,6-tetramethyl[6](2,11)teropyrenophane. Chapter 3 contains details of the synthesis of 1,1,n,n-tetramethyl[n](2,11)teropyrenophanes (n = 7-9) using a Wurtz / McMurry strategy, which proved to be more general than the double McMurry strategy. The three teropyrenophanes were obtained in ca. 10 milligram quantities. Trends in the spectroscopic properties that accompany changes in the structure of the teropyrene system are discussed. A violation of Kasha’s rule was observed when the teropyrenophanes were irradiated at 260 nm. The work described in the fourth Chapter concentrates on the development of gram-scale syntheses of 1,1,n,n-tetramethyl[n](2,11)teropyrenophanes (n = 7–10) using the Wurtz / McMurry strategy. Several major modifications to the orginal synthetic pathway had to be made to enable the first several steps to be performed comfortably on tens of grams of material. Solubility problems severely limited the amount of material that could be produced at a late stage of the synthetic pathways leading to the evennumbered members of the series (n = 8, 10). Ultimately, only 1,1,9,9- tetramethyl[9](2,11)teropyrenophane was synthesized on a multi-gram scale. In the final step in the synthesis, a valence isomerization / dehydrogenation (VID) reaction, the teropyrenophane was observed to become unstable under the conditions of its formation at n = 8. The synthesis of 1,1,10,10-tetramethyl[10](2,11)teropyrenophane was achieved for the first time, but only on a few hundred milligram scale. In Chapter 5, the results of an investigation of the electrophilic aromatic bromination of the 1,1,n,n-tetramethyl[n](2,11)teropyrenophanes (n = 7–10) are presented. Being the most abundant cyclophane, most of the work was performed on 1,1,9,9-tetramethyl[9](2,11)teropyrenophane. Reaction of this compound with varying amounts of of bromine revealed that bromination occurs most rapidly at the symmetryrelated 4, 9, 13 and 18 positions (teropyrene numbering) and that the 4,9,13,18- tetrabromide could be formed exclusively. Subsequent bromination occurs selectively on the symmetry-related 6, 7, 15 and 16 positions (teropyrene numbering), but considerably more slowly. Only mixtures of penta-, hexa-, hepta and octabromides could be formed. Bromination reactions of the higher and lower homologues (n = 7, 8 and 10) revealed that the reactivity of the teropyrene system increased with the degree of bend. Crystal structures of some tetra-, hexa-, hepta- and octa-brominated products were obtained. The goal of the work described in Chapter 6 is to use 1,1,9,9- tetramethyl[9](2,11)teropyrenophane as a starting material for the synthesis of warped nanographenophanes. A bromination, Suzuki-Miyaura, cyclodehydrogenation sequence was unsuccessful, as was a C–H arylation / cyclodehydrogenation approach. Itami’s recently-developed K-region-selective annulative -extension (APEX) reaction proved to be successful, affording a giant [n]cyclophane with a C84 PAH. Attempted bay-region Diels-Alder reactions and some cursory host-guest chemistry of teropyrenophanes are also discussed. In Chapter 7 a synthetic approach toward a planar model compound, 2,11-di-tbutylteropyrene, is described. The synthesis could not be completed owing to solubility problems at the end of the synthetic pathway.

Estudo das condutas antissociais e delitivas e esquemas de personalidade numa amostra de presidiários

The increase of crime in Brazilian society has attracted the interest of a growing number of scholars. In psychology, among the aspects studied for the understanding of antisocial and criminal behaviors, there is the personality, object of study of the different fields of this discipline, such as Cognitive Psychology. Thus, in this study, it was used the Young‟s Personality‟s Schemas theory, which considers that schemas are dysfunctional cognitive or emotional patterns that are constituted in the personality (Young et al., 2008). Moreover, for antisocial and criminal conducts, it was considered the Seisdedos‟ design, which says that the first one represents a violation of social rules, that doesn‟t cause serious harm to others, while the second one causes serious injury (Formiga & Gouveia, 2003). The research aimed mainly, to verify the existence of differences in means of responses to the Scale of Antisocial and Criminal Conducts and Young Schema Questionnaire for different crimes (theft, robbery, murder, rape and drug trafficking). For this purpose, the research was applied on a sample of 355 inmates. First, it was analyzed the reliability of the questionnaires, resulting in excellents reliabilities for this sample. There were significant differences between mean responses only for criminal conducts. The schemas that presented significant differences were: Emotional Deprivation, Social Isolation, Entitlement/Grandiosity and Dependence / Incompetence. The type of conduct and schema prevalent for each offense and total sample were also verified. Antisocial conduct prevailed for total sample and all the offences, except for robbery. Moreover, Self-sacrifice was prevalent for total sample and all the offenses.

Learning from Incredible Commitments: Evolution and Impact of Bilateral Investment Treaties

Ostensibly, BITs are the ideal international treaty. First, until just recently, they almost uniformly came with explicit dispute resolution mechanisms through which countries could face real costs for violation (Montt 2009). Second, the signing, ratification, and violation of them are easily accessible public knowledge. Thus countries presumably would face reputational costs for violating these agreements. Yet, these compliance devices have not dissuaded states from violating these agreements. Even more interestingly, in recent years, both developed and developing countries have moved towards modifying the investor-friendly provisions of these agreements. These deviations from the expectations of the credible commitment argument raise important questions about the field's assumptions regarding the ability of international treaties with commitment devices to effectively constrain state behavior.

Expectation Modulates Episodic Memory Formation via Dopaminergic Circuitry

Episodic memory formation is shaped by expectation. Events that generate expectations have the capacity to influence memory. Additionally, whether subsequent events meet or violate expectations has consequences for memory. However, clarification is still required to illuminate the circumstances and direction of memory modulation. In the brain, the mechanisms by which expectation modulates memory formation also require consideration. The dopamine system has been implicated in signaling events associated with different states of expectancy; it has also been shown to modulate episodic memory formation in the hippocampus. Thus, the studies included in this dissertation utilized both functional magnetic resonance imaging (fMRI) and behavioral testing to examine when and how the dopaminergic system supports the modulation of memory by expectation. The work aimed to characterize the activation of dopaminergic circuitry in response to cues that generate expectancy, during periods of anticipation, and in response to outcomes that resolve expectancy. The studies also examined how each of these event types influenced episodic memory formation. The present findings demonstrated that novelty and expectancy violation both drive dopaminergic circuitry capable of contributing to memory formation. Consistent with elevated dopaminergic midbrain and hippocampus activation for each, expected versus expectancy violating novelty did not differentially affect memory success. We also showed that high curiosity expectancy states drive memory formation. This was supported by activation in dopaminergic circuitry that was greater for subsequently remembered information only in the high curiosity state. Finally, we showed that cues that generate high expected reward value versus high reward uncertainty differentially modulate memory formation during reward anticipation. This behavioral result was consistent with distinct temporal profiles of dopaminergic action having differential downstream effects on episodic memory formation. Integrating the present studies with previous research suggests that dopaminergic circuitry signals events that are unpredicted, whether cuing or resolving expectations. It also suggests that contextual differences change the contribution of the dopaminergic system during anticipation, depending on the nature of the expectation. And finally, this work is consistent with a model in which dopamine elevation in response to expectancy events positively modulates episodic memory formation.

Integrity-Based Kernel Malware Detection

Kernel-level malware is one of the most dangerous threats to the security of users on the Internet, so there is an urgent need for its detection. The most popular detection approach is misuse-based detection. However, it cannot catch up with today's advanced malware that increasingly apply polymorphism and obfuscation. In this thesis, we present our integrity-based detection for kernel-level malware, which does not rely on the specific features of malware. We have developed an integrity analysis system that can derive and monitor integrity properties for commodity operating systems kernels. In our system, we focus on two classes of integrity properties: data invariants and integrity of Kernel Queue (KQ) requests. We adopt static analysis for data invariant detection and overcome several technical challenges: field-sensitivity, array-sensitivity, and pointer analysis. We identify data invariants that are critical to system runtime integrity from Linux kernel 2.4.32 and Windows Research Kernel (WRK) with very low false positive rate and very low false negative rate. We then develop an Invariant Monitor to guard these data invariants against real-world malware. In our experiment, we are able to use Invariant Monitor to detect ten real-world Linux rootkits and nine real-world Windows malware and one synthetic Windows malware. We leverage static and dynamic analysis of kernel and device drivers to learn the legitimate KQ requests. Based on the learned KQ requests, we build KQguard to protect KQs. At runtime, KQguard rejects all the unknown KQ requests that cannot be validated. We apply KQguard on WRK and Linux kernel, and extensive experimental evaluation shows that KQguard is efficient (up to 5.6% overhead) and effective (capable of achieving zero false positives against representative benign workloads after appropriate training and very low false negatives against 125 real-world malware and nine synthetic attacks). In our system, Invariant Monitor and KQguard cooperate together to protect data invariants and KQs in the target kernel. By monitoring these integrity properties, we can detect malware by its violation of these integrity properties during execution.