Using private firm financial data, I compare operational improvements in public-to-private and private-to-private leveraged transactions in Western Europe between 2003 and 2010. Results are consistent with the recent literature and find operational gains to be significantly smaller then when buyouts were originally analyzed by Jensen (1989) and Kaplan (1989). Public firms experience an increase in raw EBITDA margin of 7.2 percentage points three years post-buyout, while a doubling of firm size yields an increase in EBITDA margin of 4.6 percentage points in year three post-buyout. Using industry-adjusted data, prior corporate form is positive and significant in year two post-buyout. Contrary to prior literature’s expectations, governance state does not impact increases in net profit margin or return on assets. My analysis offers support for the free cash flow theory, as the positive and significant effect of a public structure on EBITDA margin suggests that public firms have greater growth potential for private equity investors and more agency costs than their private counterparts.

Στην παρούσα διπλωματική εργασία γίνεται η θεωρητική ανάλυση, μελέτη και κατασκευή μιας εφαρμογής ηλεκτρονικού καταστήματος (e-shop) και συγκεκριμένα μιας ηλεκτρονικής βιβλιοθήκης για τον τομέα Ηλεκτρονικής και Υπολογιστών του τμήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών χρησιμοποιώντας την πλατφόρμα WebSphere Commerce της ΙΒΜ. Αρχικά, γίνεται η εισαγωγή στις έννοιες και τις λειτουργίες του ηλεκτρονικού εμπορίου καθώς και σε αυτές της πλατφόρμας WebSphere. Στη συνέχεια, παρουσιάζεται ο τρόπος υλοποίησης της ηλεκτρονικής βιβλιοθήκης αρχίζοντας από την εγκατάσταση και παραμετροποίηση των εργαλείων που χρησιμοποιήθηκαν, αναλύοντας τον τρόπο λειτουργίας τους και τέλος κατασκευάζοντας την βιβλιοθήκη (κατάλογο προϊόντων, ρόλους χρηστών, τρόπο αγοράς-δανεισμού κ.α.) σύμφωνα με τις απαιτήσεις που είχαν τεθεί. Η διπλωματική εργασία καταλήγει με την παρουσίαση των λειτουργιών, αυτής όσο από την πλευρά του χρήστη όσο και από την αντίστοιχη των διαχειριστών, εξάγοντας στο τελευταίο κεφάλαιο τα συμπεράσματα και τις προτάσεις. / In this thesis, there is the theoretical analysis, the design implementation and construction of an e-shop, specifically an online library for the area of Electronics and Computer Department of Electrical and Computer Engineering, University of Patras using the platform of IBM WebSphere Commerce. Initially, there is an introduction to the concepts and functions of electronic commerce as well as those of the platform WebSphere. It then shows how to implement the electronic library starting with the installation and configuration tools used by analyzing how they work and finally constructing the library (product catalog, user roles, how-lending market, etc.) according to the requirements set. The thesis concludes with the presentation of functions, such as by the user and the administrators, extracting the last chapter the conclusions and recommendations.

Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para especificar a comunicação entre componentes e definem mecanismos para descrever um conjunto (ou seqüência) de atividades que são realizadas atomicamente. Porém, pouca atenção tem sido dada à idéia de estender sistemas de transformação de grafos para permitir a especificação de atividades atômicas. Recentemente, inspirada nas idéias das redes de Petri “zero-safe” foi definida uma extensão de sistemas de transformação de grafos (GTS) – denominada GTS transacional (T-GTS) – equipando-os com uma noção de transação. Uma transação, nesta abordagem, descreve um conjunto de ações que são executadas de um modo atômico e é definida através de uma distinção entre os recursos visíveis e invisíveis de um ponto de vista externo, onde os últimos são considerados temporários e “esquecidos” em um nível abstrato. Nesta tese é dada uma fundamentação mais teórica para T-GTSs definindo uma noção de morfismos de implementação T-GTS (associando produções de um sistema com transações de outro) e, usando essa noção, é demonstrada a existência de uma adjunção entre as categorias de GTSs e T-GTSs com morfismos de implementação. Além disso, GTSs transacionais são estendidas com um mecanismo para descrever padrões de interação de sistemas reativos através de relações de dependência incluídas nas produções. A idéia é que um sitema interage com seu ambiente consumindo e criando elementos visíveis para à esse ambiente, uma relação de causalidade. Finalmente, propomos uma noção de refinamento para T-GTSs com relação de dependência caracterizada por uma visão “caixa-devidro”, onde alguns aspectos internos são preservados. Em um nível abstrato, o sistema é especificado por produções que descrevem (de uma maneira atômica) reações completas, onde a relação de dependência determina algumas restrições na estrutura interna dessas reações. Um refinamento de um sistema é definido por um morfismo total de implementação que associa cada produção (abstrata) a uma transação. Assim, o sistema refinado preserva todo o comportamento externo do sistema original e as restrições da estrutura interna determinadas pelas relações de dependência. / Reactive systems, in contrast to transformational systems, are characterised by having to continuously react to stimuli from its environment. If, in addition to reactiveness, we consider that for many applications the specification method should provide a way to describe the spatial distribution of states, graph transformation seems to be a suitable specification technique. Some applications with these characteristics are mobile systems and biological pathways. However, the approaches provided for graph transformations so far are not adequate to explicitly describe interaction patterns. Furthermore, several approaches to specify reactive systems propose to use asynchronous languages to specify communication between components and define mechanisms to describe a set (or sequence) of activities that are performed atomically. However, scarce attention has been devoted to the idea of extending GTSs in order to allow the specification of atomic activities. Inspired by the ideas of zero-safe Petri nets, an extension of graph transformation systems (GTSs) – called transactional GTS (T-GTS) – was defined, equipping them with a transaction notion. A transaction, in this approach, describes a set of actions that are executed in an atomic way and it is defined by distinguishing the resources that are visible or invisible from an external point of view, where the last ones are considered temporary and are forgotten at a more abstract level. In this thesis, we give a more theoretical foundation to T-GTS defining a notion of implementation morphisms between T-GTSs (associating graph productions of a system with transactions of other system) and using this notion we demonstrate the existence of an adjunction between categories of GTSs and T-GTSs with implementation morphisms. Moreover, we extends transactional GTSs with a mechanism to describe interaction patterns of reactive systems, by means of dependency relations included in the graph productions. The idea is that a system interacts with its environment by consuming and creating elements visible to this environment, obeying a causal dependency. Finally, we propose a notion of glass-box refinement for T-GTSs with dependency relations, where some internal aspects are preserved. In an abstract level, the system is specified by productions describing (in an atomic way) complete reactions, where the dependency relations give some constraints on the internal structure of these reactions. A refinement of a system is given by a total implementation morphism, that associates each (abstract) production to a transaction. Hence, the refined system preserves all external behaviour of the original system and the internal constraints given by the dependency relations.

MOREIRA, Leonardo Oliveira. DTX: um mecanismo de controle de concorrência distribuído para dados XML. 2008. 89 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2008. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T17:50:32Z No. of bitstreams: 1 2008_dis_lomoreira.pdf: 5597130 bytes, checksum: 9a74d13a49d1367fd13d8ff4c140fdc4 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-18T16:01:30Z (GMT) No. of bitstreams: 1 2008_dis_lomoreira.pdf: 5597130 bytes, checksum: 9a74d13a49d1367fd13d8ff4c140fdc4 (MD5) / Made available in DSpace on 2016-07-18T16:01:30Z (GMT). No. of bitstreams: 1 2008_dis_lomoreira.pdf: 5597130 bytes, checksum: 9a74d13a49d1367fd13d8ff4c140fdc4 (MD5) Previous issue date: 2008 / XML has become a widely used standard for data representation and exchange among Web applications. Consequently, a large volume of such data is distributed all over the Web and stored using several persistence methods. DBMSs provide concurrency control techniques to manage data. However, the structure of XML data makes it difficult to use these techniques. Projects are being proposed and they provide management of XML documents. Nevertheless, most of these projects do not provide efficient concurrency control mechanisms for distributed data. Some of them do provide support for distributed control of XML data, but use protocols that have limitations and offer low concurrency levels. In order to provide effective data management in distributed environments, we present DTX, a distributed concurrency control mechanism for XML data that takes into account its structural characteristics. DTX aims to provide effective management of XML data and contemplate properties such as isolation and consistency in transactions, using a multi-granular concurrency control protocol that increases parallelism among transactions and that has an optimized structure for data representation. DTX has a modular and flexible architecture, allowing for easy integration with any XML storage mechanisms. Moreover, DTX can be extended by adding new features to it. In order to evaluate DTX, several experiments were conducted comparing DTX as it is with a variation of DTX that uses a fine-grained protocol, in an attempt to simulate existing strategies in related work. Results confirm DTX’s effectiveness considering different aspects of distributed transactions on XML data, improving their performance, i.e., transaction execution time. / XML tornou-se um padrão amplamente utilizado na representação e troca de dados entre aplicações na Web. Com isso, grande volume desses dados está distribuído na Web e armazenado em diversos meios de persistência. SGBD relacionais que suportam XML fornecem técnicas de controle de concorrência para gerenciar esses dados. A estrutura dos dados XML, entretanto, dificulta a aplicação dessas técnicas. Trabalhos estão sendo propostos e fornecem gerenciamento de documentos XML. A maioria destes trabalhos, todavia, não oferecem um controle de concorrência eficiente para dados distribuídos. Outros trabalhos dão suporte ao controle distribuído de dados XML, mas estes possuem protocolos com baixo grau de concorrência e limitações. Para prover um gerenciamento eficaz em ambientes distribuídos, este trabalho apresenta o DTX, como mecanismo para o controle de concorrência distribuído para dados XML, que leva em consideração características estruturais destes dados. O DTX visa a um gerenciamento eficaz de dados XML e contemplar as propriedades de isolamento e consistência em transações, utilizando um protocolo para controle de concorrência multigranular que aumenta o paralelismo entre as transações e possui uma estrutura otimizada para representação dos dados. A solução proposta possui uma arquitetura modular e flexível, o que facilita sua integração com diferentes estruturas de armazenamento XML, além de poder ser estendido, adicionando novos recursos. Para validar o DTX, diversos testes foram feitos, comparando o DTX descrito neste trabalho com uma variação do DTX, utilizando um protocolo de maior granulosidade, visando a simular as estratégias dos trabalhos relacionados. Os resultados obtidos atestam a eficácia do DTX, considerando diferentes aspectos em transações distribuídas a dados XML, melhorando o desempenho, ou seja, o tempo de execução destas transações.

A reutilização de resíduos orgânicos para alimentação animal é uma prática comum desde os tempos mais longínquos. Com a identificação das perdas e desperdícios de alimento como uma estratégia chave diante da crescente preocupação em relação à Segurança Alimentar Global, este mecanismo de reaproveitamento do resíduo gerado é posto como uma importante alternativa. No município de Porto Alegre (RS/ Brasil) é conduzido o Projeto de Reaproveitamento de Resíduos Orgânicos de Restaurante via Suinocultura, no qual o departamento de limpeza municipal intermedeia a transferência de resíduos alimentares para suinocultores da região (vinculados ao grupo Associação de Suinocultores da Zona Sul de Porto Alegre), produzindo produtos cárneos de origem e qualidade controladas. Para avaliar como está disposta a estrutura de governança desta cadeia produtiva, como ela se relaciona com o ambiente institucional que a delimita e se esta estrutura afeta a forma como o projeto é conduzido, foram utilizados conceitos da Nova Economia Institucional e da Economia de Custos de Transação. Foi possível identificar que o alto nível de especificidade de ativos e de incertezas nas transações são fontes significantes de custos de transações. Além disso, os estabelecimentos geradores de resíduo e os produtores agem de forma oportunista ao participar do Projeto e investimentos específicos demandados não são realizados devido à incerteza do ambiente. Em decorrência destes aspectos, emergem falhas organizacionais, identificadas nesta pesquisa como entraves na condução do projeto. Os principais entraves identificados para a condução do Projeto foram "alta de Licenciamento Ambiental", "Tratamento do Resíduo" e "Características da Associação", estando estes diretamente vinculados ao ambiente institucional. / The reuse of organic waste as animal diet is a common practice since the most ancient times. The identification of losses and food waste became a key strategy in the face of growing concern about the Global Food Security, and this mechanism that recycle of the waste generated is na important alternative. In Porto Alegre (RS State / Brazil) is leading the “Projeto de Reutilização de Resíduos Orgânicos de Restaurante via Suinocultura”, in which the municipal cleaning department mediates the transfer of food waste to pig farmers in the region (all of them linked to a Producers Association) to produce meat products with origin and quality controlled. To evaluate how is addressed the governance structure of this production chain, how is its relationship with the Institutional Environment and is this structure affects how the project is lead, were used concepts of the New Institutional Economics and the Economics of Transaction Costs. We observed that the high level of asset specificity and uncertainty in the transactions are significant sources of transaction costs. In addition, the waste generators establishments and producers act opportunistically to participate in the project and some demanded specific investments are not made due to environmental uncertainty. The main barriers identified (called in this study as organizational failures) for the well maintenance of the Project were ―Lack of Environmental Licensing‖, ―Treatment of Waste‖ and ―the Association Features‖, and these are directly linked to the institutional environment.

Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para especificar a comunicação entre componentes e definem mecanismos para descrever um conjunto (ou seqüência) de atividades que são realizadas atomicamente. Porém, pouca atenção tem sido dada à idéia de estender sistemas de transformação de grafos para permitir a especificação de atividades atômicas. Recentemente, inspirada nas idéias das redes de Petri “zero-safe” foi definida uma extensão de sistemas de transformação de grafos (GTS) – denominada GTS transacional (T-GTS) – equipando-os com uma noção de transação. Uma transação, nesta abordagem, descreve um conjunto de ações que são executadas de um modo atômico e é definida através de uma distinção entre os recursos visíveis e invisíveis de um ponto de vista externo, onde os últimos são considerados temporários e “esquecidos” em um nível abstrato. Nesta tese é dada uma fundamentação mais teórica para T-GTSs definindo uma noção de morfismos de implementação T-GTS (associando produções de um sistema com transações de outro) e, usando essa noção, é demonstrada a existência de uma adjunção entre as categorias de GTSs e T-GTSs com morfismos de implementação. Além disso, GTSs transacionais são estendidas com um mecanismo para descrever padrões de interação de sistemas reativos através de relações de dependência incluídas nas produções. A idéia é que um sitema interage com seu ambiente consumindo e criando elementos visíveis para à esse ambiente, uma relação de causalidade. Finalmente, propomos uma noção de refinamento para T-GTSs com relação de dependência caracterizada por uma visão “caixa-devidro”, onde alguns aspectos internos são preservados. Em um nível abstrato, o sistema é especificado por produções que descrevem (de uma maneira atômica) reações completas, onde a relação de dependência determina algumas restrições na estrutura interna dessas reações. Um refinamento de um sistema é definido por um morfismo total de implementação que associa cada produção (abstrata) a uma transação. Assim, o sistema refinado preserva todo o comportamento externo do sistema original e as restrições da estrutura interna determinadas pelas relações de dependência. / Reactive systems, in contrast to transformational systems, are characterised by having to continuously react to stimuli from its environment. If, in addition to reactiveness, we consider that for many applications the specification method should provide a way to describe the spatial distribution of states, graph transformation seems to be a suitable specification technique. Some applications with these characteristics are mobile systems and biological pathways. However, the approaches provided for graph transformations so far are not adequate to explicitly describe interaction patterns. Furthermore, several approaches to specify reactive systems propose to use asynchronous languages to specify communication between components and define mechanisms to describe a set (or sequence) of activities that are performed atomically. However, scarce attention has been devoted to the idea of extending GTSs in order to allow the specification of atomic activities. Inspired by the ideas of zero-safe Petri nets, an extension of graph transformation systems (GTSs) – called transactional GTS (T-GTS) – was defined, equipping them with a transaction notion. A transaction, in this approach, describes a set of actions that are executed in an atomic way and it is defined by distinguishing the resources that are visible or invisible from an external point of view, where the last ones are considered temporary and are forgotten at a more abstract level. In this thesis, we give a more theoretical foundation to T-GTS defining a notion of implementation morphisms between T-GTSs (associating graph productions of a system with transactions of other system) and using this notion we demonstrate the existence of an adjunction between categories of GTSs and T-GTSs with implementation morphisms. Moreover, we extends transactional GTSs with a mechanism to describe interaction patterns of reactive systems, by means of dependency relations included in the graph productions. The idea is that a system interacts with its environment by consuming and creating elements visible to this environment, obeying a causal dependency. Finally, we propose a notion of glass-box refinement for T-GTSs with dependency relations, where some internal aspects are preserved. In an abstract level, the system is specified by productions describing (in an atomic way) complete reactions, where the dependency relations give some constraints on the internal structure of these reactions. A refinement of a system is given by a total implementation morphism, that associates each (abstract) production to a transaction. Hence, the refined system preserves all external behaviour of the original system and the internal constraints given by the dependency relations.

1 Abstract Commercial Terms and Clauses in Business Transactions This diploma thesis is focused on the topic of commercial terms and clauses in business transactions. Legislation of commercial terms remains concise, but it contains some news in comparation with the previous legislation valid until January 1st 2014. A major novelty is the issue of conflicts of commercial terms (the battle of forms), the rules for unilateral change and also newly grounded content corrections in the form of surprising arrangements. This fact provides a space for professional literature to create a variety of views and answers to the questions that legal practice provides. Today, commercial terms are a common part of contracts. Using the terms greatly accelerates the contracting process and reduces the costs. Commercial clauses contained in some interpretative rules are also frequently used, mainly in the international business. The aim of this thesis is to analyse how business law experts respond the questions regarding to commercial terms and clauses. As a part of my work, I have also looked at the legislative solutions in the UN Convention on the International Sale of Goods CIGS, the Principles of international trade agreements UNIDROIT and the Principles of European contract law PECL. In the first chapter I defined the...

Etudier l’orientation professionnelle et scolaire des élèves ingénieur au sein d’un dispositif combinant l’apport d’internet dans l’élaboration de l’e-portfolio de compétences, a amené à prendre en compte la formation humaine des élèves ingénieurs, l’analyse de l’expérience et compétences, les récits biographiques et l’orientation réflexive continue par internet. Cette problématique nous a conduit à porter un intérêt particulier sur les liens possibles entre la dynamique des groupes et la réflexivité à l’heure du web. Dans ce dernier concept, le rôle central du dialogue avec autrui dans ses aspects émotionnels est dominant dans un travail réflexif du récit d’orientation. Suivant les situations étudiées, ce dialogue semble facilité avec l’apport d’internet. Internet est envisagé comme un environnement réciproque entre support d’apprentissage familier et distant. Il semble se positionner comme un puissant outil d’expression de l’expérience subjective en savoir réfléchi. / To study the vocational and school guidance of the pupils engineer within a device combining the contribution of internet in the elaboration of the e-portfolio of skills, brought to take into account the human training of the pupils engineers, the analysis of the experience and the skills, the bibliographic narratives and the reflexive continuous orientation by internet. This problem drove us to concern a particular interest the possible links between the dynamics of the groups and the reflexivity at the time of Web. In this last concept, the central role of the dialogue with others in its emotional aspects is dominant in a reflexive work of the narrative of orientation According to the studied situations, this dialogue seems facilitated with the contribution of internet. Internet is envisaged as a mutual environment enters support of familiar and distant learning. It seems to position as a powerful tool of expression of the subjective experience to know about thoughtful.

Nos agronegócios, percebe-se que os agentes econômicos assumem posicionamentos diferentes frente aos mercados, dependendo das transformações observadas no ambiente competitivo. De forma geral, tanto as incertezas ambientais quanto a conduta dos pares econômicos contribuem para a prática de estruturas de governança mais ou menos harmoniosas. Destarte, o objetivo geral da presente pesquisa é desenvolver e testar um modelo de análise dos arranjos de coordenação em cadeias produtivas agroindustriais. A partir do referencial teórico da Economia dos Custos de Transação, pretende-se examinar o papel do ambiente competitivo, dos atributos das transações e das características dos agentes econômicos nos processos decisórios que envolvem arranjos de coordenação. Para tanto, propõe-se o emprego da teoria dos conjuntos fuzzy e da lógica fuzzy como ferramental metodológico, considerando-se como unidade de análise as relações de trocas econômicas. O modelo de análise dos arranjos de coordenação foi desenvolvido com base no método Mamdani, considerando dois níveis de análise. No caso específico do nível secundário, consideraram-se três controladores compreendidos por dez variáveis de entrada. As variáveis de saída dos três controladores do nível secundário compõem o rol das variáveis de entrada do nível principal, que avalia os arranjos de coordenação em cadeias produtivas agroindustriais. O modelo fuzzy de análise dos arranjos de coordenação foi aplicado à cadeia produtiva da erva-mate no Rio Grande do Sul na região do Alto Taquari, que se destaca pela alta produção e pelo significativo número de agentes envolvidos nos processos de comercialização. Para coleta dos dados primários, realizaram-se entrevistas com trinta produtores rurais, além de quatro entrevistas com representantes de agroindústrias da região. As análises das entrevistas indicaram que os menores custos de transação observados são os oriundos das características dos agentes econômicos, ao passo que os custos de transação advindos das características das transações são os mais intensos. Com base nas respostas auferidas dos agricultores e dos representantes das agroindústrias, as relações transacionais são caracterizadas como sólidas e estáveis, em que predominam as estruturas de governança relativamente harmoniosas, como é o caso das ações cooperativas, parcerias de compra e venda, entre outros. Em suma, a conduta dos agentes econômicos aponta para estruturas híbridas de governança, na qual se observa a existência de incentivos para consolidação das transações, balizados por acordos informais e relações de confiança. / In agribusiness, is perceived that economic agents take different positions over markets, depending on the observed changes in the competitive environment. In general, both environmental uncertainties as the conduct of economic pairs contribute to the practice of more or less harmonious governance structures. Thus, the overall objective of this research is to develop and test an analytical model of coordination arrangements in agribusiness supply chains. From the Transaction Cost Economics framework, it is intended to examine the role of competitive environment, the transaction attributes and characteristics of economic agents in decision-making processes involving coordination arrangements. Therefore, it is proposed the use of fuzzy set theory and fuzzy logic as methodological tools, considering the relations of economic exchange as analysis unit. The analysis model of coordination arrangements was developed based on the Mamdani method, considering two levels of analysis. In the specific case of secondary level, controllers with ten input variables were considered. The output variables of the three controllers of secondary level constitute the group of input variables of the main level, which evaluates the coordination arrangements in agribusiness production chains. The fuzzy model for the analysis of coordination arrangements was applied to the production chain of yerba mate in the Alto Taquari region, located in Rio Grande do Sul, which stands out for its high production and the significant number of players involved in the marketing process. To collect the primary data, interviews were conducted with thirty farmers, besides four interviews with representatives of agroindustries in the region. The analysis of the interviews show that the lower transaction costs observed are those that come from the characteristics of economic agents, while transaction costs arising from the transaction characteristics are most intense. Based on the responses from farmers and representatives of agroindustries, transactional relationships are characterized as solid and stable, where the structures of relatively harmonious governance predominate, as in the case of cooperative actions, partnerships sale, among others. In summary, the behavior of economic agents points to hybrid governance structures, where one observes the existence of incentives for consolidation of transaction, guide by informal agreements and confidence relations.

Cryptocurrencies has become a very hot topic recently, with Bitcoin being the most popular. The increase in interest has led to an incentive to create payment systems for the currency that makes it easier to use for day-to-day shopping. A lot of companies are inves- tigating possible solutions for credit cards that are used for cryptocurrencies. This thesis aims to present and perform a security analysis on an already created concept of a credit card payment system for Bitcoin. The security analysis is done in a systematical approach where the modules were analyzed with predetermined restrictions and assumptions. The restricitons and assumptions are then removed one-by-one to find potential threats in the system. The outcome of the analysis is then evaluated in an attempt to find possible im- plementation methods that would mitigate or prevent the discovered threats. The possible implementations are also evaluated in terms of how they would affect the system.