An intruder model for verifying termination in security protocols

We formally describe an intruder that is suitable for checking fairness properties of security protocols. The intruder is proved to be equivalent to the Dolev-Yao intruder that respects the resilient communication channels assumption, in the sense that, if a fairness property holds in one of these models, it also holds in the other

Implementasi Interkoneksi IPV6 Dan IPV4 Menggunakan Clearos Enterprise 5.1

Teknologi jaringan komputer berkembangan dengan pesatnya, kebutuhan akan layanan yang memanfaatkan jaringan komputer semakin bertambah. Dalam lingkup sistem jaringan komputer, komponen yang terpenting adalah protokol TCP/IP, salah satunya protokol yang umum digunakan sebagai pengalamatan antar komputer yaitu IPv4, IPv4 sendiri saat ini telah banyak di gunakan selama 20 tahun sehingga dalam menangani jumlah komputer di seluruh dunia melebihi quota yang ditentukan batas pengalamatannnya, menjadikan jaringan tersebut menjadi sangat komplek dan beberapa masa yang akan datang akan tergantikan dengan IPv6 yang merupakan pengalamatan generasi baru yang memberikan pengalamatan yang tidak terbatas untuk masa-masa yang akan datang menggantikan IPv4. Selain dengan besaran pengalamatan yang melampaui alamat IPv4 yang memungkinkan IPv6 bermanfaat sebagai pengalamatan yang aman dan stabil. Dengan menggunakan ClearOS sebagai router untuk menjembatani interkoneksi antar IPv6 menembus IPv4. ClearOS sendiri merupakan sistem operasi pengambangan dari linux untuk server maupun router. Metode yang digunakan untuk melewatkan packet IPv6 ke IPv4 yaitu metode tunneling yang mendukung interkoneksi, teknik tunneling digunakan untuk membangun jaringan IPv6 tanpa harus membuat infrastruktur jaringan baru dengan memanfaatkan infrastruktur jaringan IPv4 yang sudah ada dan hanya melewatkan packet-packet IPv6 kedalam jaringan tersebut dengan perantara ClearOS. Implementasi IPv6 dan IPv4 dalam ClearOS dikelola dengan sistem perintah text-based ini dikarenakan pada sistem web-based belum sepenuhnya mendapat dukungan untuk IPv6, apabila user ahli dalam mengetahui linux maka akan mudah pengelolaannya serta dari hasil pengujian konektivitas antar client melewati router ClearOS mendapatkan jumlah total waktu dan pengiriman data yang berbeda-beda

Integrated use of Biochar: A tool for improving soil and wheat quality of degraded soil under wheat-maiza cropping pattern

Wheat quality, nutrient uptake and nutrient use efficiency are significantly influenced by nutrient sources and application rate. To investigate the integrative effect of biochar, farmyard manure (FYM) and nitrogen (organic and inorganic soil amendments) in a wheat-maize cropping system, a two year study was designed to assess the interactive outcome of biochar, FYM and nitrogenous fertilizer on wheat nitrogen (N) parameters and associated soil quality parameters. Three levels of biochar (0, 25 and 50 t ha-1), two levels of FYM (5 and 10 t ha-1) and two levels of nitrogen fertilizer (60 and 120 kg ha-1) were used in the study. Biochar application displayed a significantly increased in wheat leaf, stem, straw and grain N content; grain and total N-uptake and grain protein content by 24, 20, 24, 56, 50, 17 and 20% respectively. Similarly, biochar application significantly increased soil total N (TN) and soil mineral N (SMN) by 63 and 40% respectively in second year. FYM application increased grain, leaf and straw N content by 20, 19.5 and 18% respectively, and increased total N-uptake and grain protein content by 49 and 19% respectively. FYM increased soil TN and SMN by 63 and 32% in both the years of the experiment. Mineral N application increased soil TN by over a half and SMN by a third, and grain protein content increased 16%. In contrast, nitrogen use efficiency (NUE) decreased for all amendments relative to the control. However, biochar treated plots improved NUE by 38% compared to plots without biochar. In conclusion, this field experiment has illustrated the potential of biochar to bring about short-term benefits in wheat and soil quality parameters in wheat-maize cropping systems. However, the long-term benefits remain to be quantified

Perancangan Manajemen User Pada Hotspot Menggunakan Mikrotik

Perkembangan layanan akses internet dewasa ini sangat pesat salah satunya adalah pelayanan akses internet hotspot komersil di dcinnamons. Dengan adanya pelayanan akses internet di dcinnamons ada permasalahan yang terjadi di tengah perjalanan bisnisnya. Seperti keluhan pelanggan untuk menikmati akses internet yang nyaman, namun pada awal pelayanan saja telah ada permasalahan pendaftaran akses internet yang manual. Hal ini membuat pelanggan harus menunggu terlalu lama untuk menikmati akses internet. Selain itu administrator memerlukan pelayanan yang optimal seperti pendaftaran akses internet yang cepat, pembuatan laporan yang bisa digunakan sebagai bukti pemakaian akses internet pelanggan ketika habis masa berlakunya. Namun hal itu belum ada pada pelayanan di Dcinnamons sehingga akan merugikan kedua belah pihak. Sehingga untuk mengatasi permasalah tersebut adalah memanajemen user menggunakan user manager mikrotik. Metode yang digunakan adalah metode wawancara, literatur, dan eksperimen. Dari beberapa metode tersebut dibuat perancangan manajemen user yang dibutuhkan oleh hotspot komersil. Peralatan yang dibutuhkan dalam penelitian adalah mikrotik dan user manager. Perancangan menajemen user ini pelanggan pada hotspot Dcinnamons dapat menikmati akses internet langsung saat pendaftaran telah dilakukan sehingga pelanggan tidak menunggu terlalu lama. Sistem ini juga akan menonaktifkan pelanggan yang telah habis masa aktifnya secara otomatis dan dapat membuat laporan akses internet sesuai pemakaian pelanggan

Mens (dood of levend) of dier? Attitudes over en morele implicaties van orgaanverwerving

Dit rapport is het verslag van een verkennende studie naar attitudes met betrekking tot orgaandonatie, en de morele implicaties hiervan. Psychologisch en ethisch onderzoek vullen elkaar in dit rapport aan. Er wordt aandacht geschonken aan twee ontwikkelingen op het gebied van orgaanverwerving: de toename van orgaandonaties bij leven, met name bij donatie van nieren en de verminderde interesse in de ontwikkeling van xenotransplantatie. Het psychologische deel van het rapport valt uiteen in literatuurstudie en eigen empirisch onderzoek. In dit deel wordt zowel de attitude van patiënten als de psychosociale belasting beschreven voor xenotransplantatie en voor nierdonatie bij leven. Patiënten zien nierdonatie bij leven in het algemeen als een wenselijk alternatief voor de wachtlijstsituatie, terwijl men in dit opzicht een stuk terughoudender is ten aanzien van xenotransplantatie. Om te bepalen welke rol van overheid, zorgverleners en onderzoekers gepast is, is het van belang te begrijpen hoe persoonlijke overtuigingen worden gevormd en kunnen veranderen. In het ethische, tweede deel van het rapport wordt dan ook meer aandacht besteed aan de verschillende motivaties voor orgaandonatie. Bij postmortale donatie worden vooral waarden als vrijwilligheid, anonimiteit en altruïsme genoemd. Bij familiedonatie doen begrippen als vanzelfsprekende solidariteit, morele plicht en lotsverbondenheid hun intrede, maar ook begrippen als eigenbelang, afhankelijkheid en wederkerigheid. Onderzocht wordt hoe de verschillende donatievormen zich tot elkaar verhouden, teneinde te bepalen op welke motivaties voor orgaandonatie we als maatschappij een beroep willen doen. Op dit punt wordt expliciet ingegaan op de rol van de overheid. Tevens is er een meer losstaand hoofdstuk gewijd aan commerciële orgaandonatie

The critical fugacity for surface adsorption of self-avoiding walks on the honeycomb lattice is 1+21+\sqrt{2}

In 2010, Duminil-Copin and Smirnov proved a long-standing conjecture of Nienhuis, made in 1982, that the growth constant of self-avoiding walks on the hexagonal (a.k.a. honeycomb) lattice is $\mu=\sqrt{2+\sqrt{2}}.$ A key identity used in that proof was later generalised by Smirnov so as to apply to a general O(n) loop model with $n\in [-2,2]$ (the case $n=0$ corresponding to SAWs). We modify this model by restricting to a half-plane and introducing a surface fugacity $y$ associated with boundary sites (also called surface sites), and obtain a generalisation of Smirnov's identity. The critical value of the surface fugacity was conjectured by Batchelor and Yung in 1995 to be $y_{\rm c}=1+2/\sqrt{2-n}.$ This value plays a crucial role in our generalized identity, just as the value of growth constant did in Smirnov's identity. For the case $n=0$, corresponding to \saws\ interacting with a surface, we prove the conjectured value of the critical surface fugacity. A crucial part of the proof involves demonstrating that the generating function of self-avoiding bridges of height $T$, taken at its critical point $1/\mu$, tends to 0 as $T$ increases, as predicted from SLE theory.Comment: Major revision, references updated, 25 pages, 13 figure

The complete mitochondrial genome of Axis porcinus (Mammalia: Cervidae) from Victoria, Australia, using MiSeq sequencing

The mitochondrial genome of the hog deer (Axis porcinus) was sequenced using an Illumina MiSeq. The assembled genome consists of 16,351 bp, and shared a 99.8% similarity to the published chital deer (Axis axis) genome, suggesting that they belong to the same species. Further research is ongoing to understand why these mitochondrial genomes are highly similar

Living Kidney Donation: Psychological and Ethical Aspects

DOELSTELLING Nierdonatie bij leven levert medisch en maatschappelijk gezien veel voordelen op, maar toch willen of kunnen niet alle nierpatiënten op de wachtlijst en/of hun naasten zich opgeven voor het nierdonatie bij leven programma. De doelstelling van het project ‘Nierdonatie bij leven: psychologische en ethische aspecten’ is het verkrijgen van meer inzicht in de kennis en acceptatie van nierdonatie bij leven. Het gaat hierbij om kennis en acceptatie onder proefpersonen die daadwerkelijk in aanmerking komen voor nierdonatie/ transplantatie bij leven, dat wil zeggen (1) patiënten met eindfase nierfalen op de wachtlijst voor een niertransplantatie en (2) de mensen uit hun omgeving; de potentiële donoren. Het benaderen van deze groepen is de strategie om uit te vinden of, en onder welke voorwaarden, uitbreiding van het nierdonatie bij leven programma praktisch haalbaar en ethisch verdedigbaar is. VRAAGSTELLINGEN Het project omvat twee vraagstellingen. De eerste vraagstelling is: wat zijn de psychologische barrières voor nierdonatie bij leven voor patiënten op de wachtlijst, en de mensen uit hun omgeving? De tweede vraagstelling luidt: wat zijn de morele argumenten om de patiënt en de mensen uit de omgeving van de patiënt (de potentiële donoren) al dan niet actief te benaderen over nierdonatie bij leven? In andere woorden; in hoeverre zijn interventies ethisch verdedigbaar? OPZET PATIËNTEN EN (POTENTIËLE) DONOREN Wij hebben allereerst de groep patiënten die op de wachtlijst voor niertransplantatie staat benaderd (regio Erasmus MC). Aan de patiënt vragen wij toestemming om ook de potentiële donoren uit zijn of haar omgeving te benaderen. Indien beiden hiermee instemmen, vindt het interview met deze potentiële donor plaats. Voor deze studie hebben we tevens een controlegroep benaderd. In de controlegroep zitten patiënten en donoren die nog geen familietransplantatie hebben ondergaan, maar die wel al hebben besloten door te gaan met de donatie bij leven procedure en dit met hun artsen hebben overlegd. INTERVIEW Alle deelnemers aan ons onderzoek zijn geïnterviewd middels een semi-gestructureerd interview. Voorafgaand onderzoek heeft aangetoond dat een aantal factoren een rol kan spelen bij het niet kunnen of willen ondergaan van nierdonatie bij leven. Deze factoren komen terug in de interviews: · Demografische en medische variabelen · Kennis en informatie · Standpunten en argumenten ten aanzien van nierdonatie bij leven, · Communicatie met de arts en de omgeving · Risicoperceptie · Verwachtingen ten aanzien van de gevolgen voor de persoonlijke relatie tussen donor en ontvanger. ETHISCHE ANALYSE De resultaten van de empirische gedeelte van deze studie dienen als basis voor de ethische analyse. Argumenten zoals gevonden in het empirische gedeelte van de studie worden getoetst op houdbaarheid met behulp van ethische theorieën over de structuur van argumenten.,Wij hebben met name gebruik gemaakt van de theorien zoals die geformuleerd zijn door Toulmin, Rawls en Nagel. BEREIKTE RESULTATEN/NIEUWE INZICHTEN De bereidheid om een nier van iemand in de naaste omgeving te accepteren is zeer hoog voor de patiënten in de onderzoeksgroep: slecht 19% is negatief over donatie bij leven. Het is dus niet zo dat de patiënt in het algemeen niet zou willen. Voor een aantal variabelen vonden we verschillen tussen de onderzoeksgroep en de controlegroep. Een opvallende uitkomst is dat in vrijwel àlle gevallen in de controle groep de communicatie over de donatie gestart wordt vanuit de donor: het al dan niet aangeboden krijgen van een nier lijkt bepalend voor het doorgaan van de (levende donor) transplantatie. Patiënten vinden het erg moeilijk om uit zichzelf over het onderwerp te beginnen. Ethische analyse laat zien dat de argumenten en bezwaren tegen nierdonatie bij leven zoals gevonden in de onderzoeksgroep weerlegbaar zijn. Dit gegeven draagt bij aan de rechtvaardiging van interventies in de situatie van paPURPOSE Living kidney donation offers many advantages, both from a medical and societal point of view. However, there is a group of patients that cannot or will not make use of the living kidney donation program. The purpose of the study ‘Living Kidney donation: psychological and ethical aspects’ is to gain insight into the knowledge and acceptance of this form of kidney transplantation. The group we investigate is the group that actually is eligible for living kidney donation / transplantation, namely (1) patients with end stage renal disease on the transplantation waiting list and (2) the persons in their close environment, the potential donors. Investigating these groups is the strategy to find out if, and under what circumstances, expansion of the living kidney donation program is feasible and ethically acceptable. RESEARCH QUESTIONS The project comprises two research questions. The first research question is: what are the psychological barriers for living kidney donation for the patients and the people in their close environment? The second research question is: what are the moral arguments to deal or actively or passively with the persons in the close environment of the patients who are the potential donors? In other words, to what extent are interventions morally acceptable? DESIGN PATIENTS We have approached the group of patients on the waiting list for a kidney transplant (region of the Erasmus University Medical Center). We asked the patients for permission to approach individuals in their personal environment, the potential donors. If both (patient and relative of patient) agreed on this, we interviewed these potential donors as well. We also included a control group in our study. This group consists of patients and their actual donors who have planned to undergo living kidney donation/transplantation in the near future and had already made arrangements together with their clinicians. INTERVIEW All participants in our study were interviewed by means of a semi-structured interview. Former research has shown various variables that influence willingness to undergo living kidney donation / transplantation. These variables are included in the interview: · Sociodemographic and medical variables · Knowledge and information · Acceptance of, and argument about of living kidney donation · Communication with the specialist and the personal environment · Risk perception · Expectations regarding the personal relationship between patient and donor. ETHICAL ANALYSIS Ethical analysis is based on the results of the empirical part of the study. Reasoning as found in the empirical part of the study is tested for ethical justification, using ethical theory on the structure of argumentation especially the theories as formulated by Toulmin, Rawls and Nagel. BEREIKTE RESULTATEN/NIEUWE INZICHTEN The willingness to accept the offer of a living kidney donor is very high for patients in the group of interest: only 19% has a negative attitude towards ling donation. Thus, it is not a matter of unwillingness of the patients to accept a living kidney donor. We found a number of differences between the group of interest and the control group. A notable finding is that the communication about kidney donation in the control group is almost always initiated by the donor : being offered a kidney (or not) seems to be decisive for either or not pursuing living kidney donation. Patients find it very difficult to bring up the topic them selves. Ethical analysis shows that the arguments or objections against living kidney donation as raised by the group of interest can be refuted. This adds to the moral acceptability of interventions in the situation of patients on the waiting list for transplantation who do not enter the living kidney donation program initially

De Behoefte aan Psychosociale Steun bij Deelnemers aan het Nederlandse Cross-over Transplantatie Programma

Final technical report of the project.The Dutch kidney exchange donation program started in January 2004. A literature review has shown that several factors of the exchange program could influence the psychological well being of participants, such as the loss of the possibility of a “medical excuse” for unwilling donors and the issue of anonymity. However, these factors have not been the subject of empirical study yet. We therefore studied these factors to determine whether additional psychosocial support is necessary for donors and recipients in the Dutch kidney exchange program. We used structured interviews for all 48 donors and recipients that had undergone exchange donation/ transplantation in 2004. A psychologist interviewed the participants before and 3 months after transplantation. We included a comparison group of 48 donors and recipients participating in the regular living kidney donation program. Donors did not experience additional pressure to donate due to the exchange donation. Most participants preferred anonymity between the couples. We found few needs for additional emotional support. In this respect the exchange group did not differ from the comparison group. We conclude that the psychosocial support offered to exchange couples can be comparable to the support normally offered to participants in the regular living kidney donation program

Stochastic processes and conformal invariance

We discuss a one-dimensional model of a fluctuating interface with a dynamic exponent $z=1$. The events that occur are adsorption, which is local, and desorption which is non-local and may take place over regions of the order of the system size. In the thermodynamic limit, the time dependence of the system is given by characters of the $c=0$ conformal field theory of percolation. This implies in a rigorous way a connection between CFT and stochastic processes. The finite-size scaling behavior of the average height, interface width and other observables are obtained. The avalanches produced during desorption are analyzed and we show that the probability distribution of the avalanche sizes obeys finite-size scaling with new critical exponents.Comment: 4 pages, 6 figures, revtex4. v2: change of title and minor correction