Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

Proteção constitucional do consumidor no âmbito da regulação publicitária

The concern with issues related to consumer protection has emerged in North America and then spread throughout the world. In Brazil, consumer‟s rights and interests only gained greater importance after their consolidation in the Constitution of 1988 and the enactment of the 8078/90 Law (Consumer‟s Protection and Defense Code), which established the consumerist microsystem. The understanding of the legal relationship of consumption concept is necessarily connected to knowledge of the elements that compose it. Among these, we can find the consumer and the provider (subjective elements), the product or service (objective elements), and the consumer‟s condition as final receiver of the consumption object (finalistic element). In order to elucidate the configuration of consumer protection before advertising communication, this work will analyze the advertising through the prism of consumerist laws, conceptualizing it and presenting a differentiation of it in relation to practices such as marketing, offer and commercial communication as well as examining its several kinds of manifestation, focusing mainly the ones categorized as misleading or unfair advertising. All kinds of advertising communication against the consumerist microsystem are subject to judicial control exercised by the State. Besides individual protection possibilities, this state-owned control can be collectively exercised as a result of the utilization of public civil action and popular action. Some specific categories of advertising (smoking products, alcoholic beverages, pesticides, medicines and therapies) are still subject to a set of particular restraints provided by the 9294/96 Law, which enables the performance of a special control in relation to them. In addition to state control, there is also a system of advertising communication self-regulation, which develops itself through the actions of the National Council of Advertising Self-Regulation that are based mainly on the laws established by the Brazilian Code of Advertising Self-Regulation and its annexes. However, this system of advertising self-regulation still has some deficiencies that hinder its effectiveness

A moralidade e a vida pregressa do candidato como condição autônoma de elegibilidade

The objective of this work was about fixing the free will paradigm as negative evaluation of political rights which presents a new classification dde such rights, producing species: a) conditions of eligibility autonomous (free will), b) eligibility requirements heteronomous (will third party) and c) ineligibility (court decisions / administrative). This morality and life history as a condition of eligibility unattended, making a hermeneutic analysis of art. 14, § 9 of the Constitution, considering the justification of the views of the voting Minister Carlos Ayres Brito Appeal in Ordinary No 1069/2006 of the Supreme Electoral Tribunal (where Eurico Miranda). Are fixed concepts of morality and life history from the perspective of the moral act freely and consciously. Has resulted in the identification of the moral virtues of honesty and integrity, which are voluntary acts as a reference to morality and integrity respectively. Justifies the morality and life history as a condition of eligibility unattended. who depend exclusively on the willingness of the candidate. It is noteworthy that the conditions for eligibility as a factual finding does not violate the law and does not allow punitive sanctions or setting a deadline in case of refusal to register the application. Attributed to political parties to take responsibility in their statutes moral criteria for the nomination convention in pre candidates, giving an ethical dimension. Analyzes the law under the Clean Record of morality and life history of the candidate and the possible impact on the electoral context

Ação de impugnação de mandato eletivo: análise constitucional e novas perspectivas

This study is developed in setting in which the Federal Constitution of 1988 completed 22 years of validity, as well as in general elections (national and state) in country. From this perspective, there are multiple reflections, especially on the constitutional mechanisms of popular sovereignty consolidation, the integrity and legitimacy of elections and democracy itself. It has appeared timely, therefore, to examine the development of ensured instrument of these precepts. Thus, it is approached as an object of research to Action of Impugnation to the Elective Mandate- AIEM, under Art.14, § 10 and § 11 of the Constitution of 1988, considering its constitutional and electoral reasons. It is then aimed to review the second AIEM conceptions of scale, systematic interpretation, preservation of constitutional rights and its effectiveness. Specifically, it is analyzed the Action as to the forms of power that relate to this. then it is examined the democracy principal aspects related to the issue. Without being followed, it is the democratic situation in which it is operated. They are also examined the political rights, especially regarding restraint applied to ineligibility and the possibility of integrating the effects of an impugnatory origin. Following, it has been discussed the formation of an early panorama, consisting of constitutional principles applied to electoral constituencies and eminently procedural principles and, according to which subsidizes the operations of such Action. After that, addressing the Election Law, including its concept, its sources, the Electoral Court and its peculiarities and functions. It is also considered the elective office as to its definition, characteristics and ways of accessing and extinguishing it. Afterwards, the Action of Impugnation is studied from its historical evolution of laws, legal, concept and goals. Expanding on the theme, it s highlighted about their chances of traditional appropriateness (economic power abuse, corruption and fraud) and modern (abuse of economic power intertwined with political) business, including the suggestion of suitability in case of abuse of unique political power. It was also identified the injurious potential demand affecting these illicit to enable the Action. Subsequently, other relevant aspects were explored, such as the legitimacy ad causam, competence, secrecy, procedure, recklessness, bad faith, the purpose of the merits and manageable resources. In the end, it is demonstrated an evolution of AIEM, however, still insufficient to reach full intentions that rise it. It is proposed therefore to re-read the action from news perspectives, based on constitutional and electoral precepts, as well as wider interpretation of the appropriateness of their assumptions of suitability and effects, according to a systematic interpretation, all aimed at the preservation of constitutional rights and their own effectiveness

A fazenda pública em juízo: a anulação de decisão administrativa definitiva a favorável ao contribuinte

El tema elegido para este estudio la materia disertación sobre la viabilidad de la Tesorería a buscar refugio a la corte anuló la decisión administrativa firme, dictada en lugar del procedimiento administrativo, fiscal, cuando tal decisión no es favorable a la Administración Pública Fiscal, o favorable para el contribuyente . El cálculo de la cuota a pagar se debe a las actividades administrativas relacionadas jurisdicción de la Administración Pública de la finca conocida como la evaluación de impuestos. En este sentido, la puesta en marcha, analizados desde la perspectiva del derecho administrativo, puede calificarse de acto jurídico administrativo. Para la constitución de la puesta en marcha es posible realizar tres pasos: a) un acto en la preparación para el tema de los impuestos - la revisión y evaluación, b) el acto administrativo de la liquidación del impuesto en sí o la aplicación de sanciones administrativas, el procedimiento c) el impuesto administrativo. Realizó la inspección y la investigación se ha iniciado para formalizar el acto administrativo del propio lanzamiento. Después de la puesta en marcha, con el homenaje que se está abierto a los contribuyentes dentro de la composición del tributo rechazo en libertad, que ofrecerá desafío para lanzar. Este paso es iniciar el "procedimiento administrativo tributario." La etapa procesal se caracteriza por ser un procedimiento de investigación o control de la legalidad de los actos administrativos en los que el contribuyente para mostrar su descontento con el lanzamiento de lo ya realizado. La evolución de los actos que lleva a cuestiones de procedimiento de especial importancia para esta tesis es que la decisión final sobre el procedimiento administrativo de impuestos o el control de la legalidad del acto administrativo de la liberación. Idea que se debe tener es que la decisión final es poner fin a fin o destino del impuesto procedimiento administrativo. Aquí están las preguntas de la tesis doctoral, por ejemplo, usted puede cancelar la corte real hacienda de la decisión administrativa dictada por el Consejo Administrativo de Apelación Reder, cuando decisum que conduzca a la privada? ¿Cuáles son los efectos de la decisión final? Con fuerza de cosa juzgada o impedimento administrativo? Se opone a la revisión por el poder judicial? La decisión administrativa es un acto administrativo? Puede ser cancelada o revocada por el Poder Judicial? Dada la divergencia en la doctrina y la jurisprudencia trata de resolver el problema que lo llevan a la solución definitiva al respecto. El autor llega a la conclusión de la imposibilidad, por regla general, y la oportunidad, como excepción a la Tesorería para solicitar la anulación del impuesto de la decisión administrativa final ante el Poder Judicial

Aspectos constitucionais da anulação de decisão definitiva da administração pública federal no processo tributário

Cet article traite de la possibilité de proposer le Trésor à la justice pour annuler une décision administrative définitive sur les questions fiscales. Il s'agit d'un sujet qui s'oppose au principe de la vérité matérielle - qui doit prévaloir en cas d'impôt - avec une certitude morale représentée par la chose jugée administrative. Commence par le processus administratif d'impôt comme une garantie constitutionnelle du contribuable, insérée dans le panorama d une compétence adoptée dans la législation brésilienne en tant que pilier de l'Etat de droit démocratique. Met l'accent sur la position du Trésor avant l'autorité de la chose jugée administrative, ce qui démontre la fragilité de La décision finale sur les questions fiscales. Décrit les effets de la révision (ou de l'annulation) dês actes administratifs, en particulier la libération de l'impôt et de la décision administrative qui vise à le confirmer. Enfin, nous discuterons de la composition et la légitimité du contentieux administratif, en conclusion, avec le soutien de la prévalence d'un fait important dans le cãs d'impôt, est non seulement possible, mais le Trésor devrait examiner leurs propres actions si nécessaire

Constitucionalismo internacional: direitos humanos sob a ótica da globalização

The work presented here is the result of research on the issue of human rights in the face of conflicting issues such as the incorporation of international treaties, the sovereignty of states, globalization and multuculturalism. Specifically, we will investigate the origin of human rights, alongside his growing recognition, from the Revolutions until its completion in the Universal Declaration of Human Rights in 1948. The question, however, has become broader, when analyzed from the perspective of the internationalization of these rights as conditions and limits of democracy. Given the convergence on the reception of international treaties on human rights, we analyze a series of positions, including recent placements of the Supreme Court, and Constitutional Amendment n.45/2004. The study aims to review the classical concept of sovereignty, now within a new perspective based on the appearance of certain limitations of the state and a crisis in the face of the protection of human rights. We analyze the phenomenon of globalization in light of its complexity and its relation to sovereignty and human rights in pursuit of an expansion of democracy. The theme is consistent also with the line of contemporary constitutionalism, since their approach has a close connection with the issues of sovereignty and globalization, as well as a current relationship with the protection of human rights. The research aims to analyze the formation of a new society within a global vision of the constitutionalization of international law. It seeks to glimpse the invocacion model of foreign precedents and the possibility of dialogue betweem States as a way of protecting and enforcing the protection of human rights

Rádios comunitárias como arenas públicas

Pós-graduação em Comunicação - FAAC

Coação administrativa: limites e responsabilidades

Pós-graduação em Direito - FCHS

Responsabilidade do Estado por atos das forças policiais

Pós-graduação em Direito - FCHS

Regime geral da responsabilidade ambiental e disciplian na Lei n. 9.605/98

Pós-graduação em Direito - FCHS

O mercado financeiro e a população de baixa renda

Incluye Bibliografía

Crescimento urbano, pobreza e meio ambiente em Bogotá-Colômbia: uma visão a partir de duas localidades

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Efeitos dos tratamentos térmicos de normalização, resfriamento rápido e alívio de tensões no aço ASTM A-516 grau 70, utilizado na fabricação de vasos de pressão

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)