Analysis of Object-Specific Authorization Protocol (OSAP) using coloured petri nets - Version 1.0

Analyzing security protocols is an ongoing research in the last years. Different types of tools are developed to make the analysis process more precise, fast and easy. These tools consider security protocols as black boxes that can not easily be composed. It is difficult or impossible to do a low-level analysis or combine different tools with each other using these tools. This research uses Coloured Petri Nets (CPN) to analyze OSAP trusted computing protocol. The OSAP protocol is modeled in different levels and it is analyzed using state space method. The produced model can be combined with other trusted computing protocols in future works.

Functional role of cell surface CUB domain-containing protein 1 in tumour cell dissemination

The function of CUB domain-containing protein 1 (CDCP1), a recently described transmembrane protein expressed on the surface of hematopoietic stem cells and normal and malignant cells of different tissue origin, is not well defined. The contribution of CDCP1 to tumor metastasis was analyzed by using HeLa carcinoma cells overexpressing CDCP1 (HeLa-CDCP1) and a high-disseminating variant of prostate carcinoma PC-3 naturally expressing high levels of CDCP1 (PC3-hi/diss). CDCP1 expression rendered HeLa cells more aggressive in experimental metastasis in immunodeficient mice. Metastatic colonization by HeLa-CDCP1 was effectively inhibited with subtractive immunization-generated, CDCP1-specific monoclonal antibody (mAb) 41-2, suggesting that CDCP1 facilitates relatively late stages of the metastatic cascade. In the chick embryo model, time- and dose-dependent inhibition of HeLa-CDCP1 colonization by mAb 41-2 was analyzed quantitatively to determine when and where CDCP1 functions during metastasis. Quantitative PCR and immunohistochemical analyses indicated that CDCP1 facilitated tumor cell survival soon after vascular arrest. Live cell imaging showed that the function-blocking mechanism of mAb 41-2 involved enhancement of tumor cell apoptosis, confirmed by attenuation of mAb 41-2–mediated effects with the caspase inhibitor z-VAD-fmk. Under proapoptotic conditions in vitro, CDCP1 expression conferred HeLa-CDCP1 cells with resistance to doxorubicin-induced apoptosis, whereas ligation of CDCP1 with mAb 41-2 caused additional enhancement of the apoptotic response. The functional role of naturally expressed CDCP1 was shown by mAb 41-2–mediated inhibition of both experimental and spontaneous metastasis of PC3-hi/diss. These findings confirm that CDCP1 functions as an antiapoptotic molecule and indicate that during metastasis CDCP1 facilitates tumor cell survival likely during or soon after extravasation.

Narrative therapy for adults with major depressive disorder: Improved symptom and interpersonal outcomes

Abstract This study investigated depressive symptom and interpersonal relatedness outcomes from eight sessions of manualized narrative therapy for 47 adults with major depressive disorder. Post-therapy, depressive symptom improvement (d=1.36) and proportions of clients achieving reliable improvement (74%), movement to the functional population (61%), and clinically significant improvement (53%) were comparable to benchmark research outcomes. Post-therapy interpersonal relatedness improvement (d=.62) was less substantial than for symptoms. Three-month follow-up found maintenance of symptom, but not interpersonal gains. Benchmarking and clinical significance analyses mitigated repeated measure design limitations, providing empirical evidence to support narrative therapy for adults with major depressive disorder. RÉSUMÉ Cette étude a investigué les symptômes dépressifs et les relations interpersonnels d'une thérapie narrative en huit séances chez 47 adultes souffrant d'un trouble dépressif majeur. Après la thérapie, l'amélioration des symptômes dépressifs (d=1.36) et la proportion de clients atteignant un changement significatif (74%), le mouvement vers la population fonctionnelle (61%), enfin l'amélioration clinique significative (53%) étaient comparables aux performances des études de résultats. L'amélioration des relations interpersonnelles (d=0.62) était inférieure à l'amélioration symptomatique. Le suivi à trois mois montrait un maintien des gains symptomatiques mais pas pour les relations interpersonnelles. L’évaluation des performances et les analyses de significativité clinique modèrent les limitations du plan de recherche à mesures répétées et apportent une preuve empirique qui étaie l'efficacité des thérapies narratives pour des adultes avec un trouble dépressif majeur. Este estudo investigou sintomas depressivos e resultados interpessoais relacionados em oito sessões de terapia narrativa manualizada para 47 adultos com perturbação depressiva major. No pós terapia, melhoria de sintomas depressivos (d=1,36) e proporção de clientes que alcançam melhoria válida (74%), movimento para a população funcional (61%) e melhoria clinicamente significativa (53%) foram comparáveis com os resultados da investigação reportados. As melhorias pós terapia nos resultados interpessoais relacionados (d=.62) foi menos substancial do que para os sintomas. Aos três meses de seguimento houve a manutenção dos sintomas mas não dos ganhos interpessoais. As análises de benchemarking e de melhoria clinicamente significativas atenuam as limitações de um design de medidas repetidas, fornecendo evidência empírica para a terapia narrativa para adultos com perturbação depressiva major. Questo lavoro ha valutato i sintomi depressivi e gli outcome nella capacità di relazionarsi a livello interpersonale in 8 sedute di psicoterapia narrativa manualizzata in un gruppo di 47 adulti con depressione maggiore. I risultati ottenuti relativamente a: post terapy, miglioramento dei sintomi depressivi (d_1.36), proporzione di pazienti che hanno raggiunto un miglioramento affidabile e consistente (74%), movimento verso il funzionamento atteso nella popolazione (61%) e miglioramento clinicamente significativo (53%) sono paragonabili ai valori di riferimento della ricerca sull'outcome. I miglioramento della capacità di relazionarsi valutata alla fine del trattamento (d_.62) si è rivelata meno sostanziale rispetto ai sintomi. Un follow-up dopo 3 mesi ha dimostrato che il miglioramento sintomatologico è stato mantenuto, ma non quello degli obiettivi interpersonali. Valori di riferimento e analisi della significatività clinica hanno fatto fronte ai limiti del disegno a misure ripetute, offrendo prove empiriche sulla rilevanza della terapia narrativa in pazienti adulti con depressione maggiore

Managing wetlands sustainably as ecosystems : The contribution of the law (part 1)

The ways in which a society set standards of behaviour and of conduct for its members vary hugely. For example, accepted practices, recognised customs, spiritually or morally inspired norms, judicially declared rules, executively formulated edicts, formal legislative enactments or constitutionally embedded rights and duties. Whatever form they assume, these standards are the artificial construction of the human mind. Accordingly the law - whatever its form - can do no more and no less than regulate or set standards for human behaviour, human conduct, and human decision-making. The law cannot regulate the environment. It can only regulate human activities that impact directly or indirectly upon the environment. This applies as much to wetlands as components of the environment as it does to any other components of the environment or the environment at large. The capacity of the law to protect the environment and therefore wetlands is thus totally dependent upon the capacity of the law to regulate human behaviour, human conduct and human decision-making. At the same time the law needs to reflect the specific nature, functions and locations of wetlands. A wetland is an ecosystem by itself; it comprises a range of ecosystems within it; and it is part of a wider set of ecosystems. Hence, the significant ecological functions performed by wetlands. Then there are the benefits flowing to humans from wetlands. These may be social, economic, cultural, aesthetic, or a combination of some or of all of these. It is a challenge for a society acting through its legal system to find the appropriate balance between these ecological and these human values. But that is what sustainability requires.The ways in which a society set standards of behaviour and of conduct for its members vary hugely. For example, accepted practices, recognised customs, spiritually or morally inspired norms, judicially declared rules, executively formulated edicts, formal legislative enactments or constitutionally embedded rights and duties. Whatever form they assume, these standards are the artificial construction of the human mind. Accordingly the law - whatever its form - can do no more and no less than regulate or set standards for human behaviour, human conduct, and human decision-making. The law cannot regulate the environment. It can only regulate human activities that impact directly or indirectly upon the environment. This applies as much to wetlands as components of the environment as it does to any other components of the environment or the environment at large. The capacity of the law to protect the environment and therefore wetlands is thus totally dependent upon the capacity of the law to regulate human behaviour, human conduct and human decision-making. At the same time the law needs to reflect the specific nature, functions and locations of wetlands. A wetland is an ecosystem by itself; it comprises a range of ecosystems within it; and it is part of a wider set of ecosystems. Hence, the significant ecological functions performed by wetlands. Then there are the benefits flowing to humans from wetlands. These may be social, economic, cultural, aesthetic, or a combination of some or of all of these. It is a challenge for a society acting through its legal system to find the appropriate balance between these ecological and these human values. But that is what sustainability requires.

Halogen bonding between an isoindoline nitroxide and 1,4-diiodotetrafluorobenzene: new tools and tectons for self-assembling organic spin systems

Halogen bonding has been observed for the first time between an isoindoline nitroxide and an iodoperfluorocarbon (see figure), which cocrystallize to form a discrete 2:1 supramolecular compound in which NO.⋅⋅⋅I halogen bonding is the dominant intermolecular interaction. This illustrates the potential use of halogen bonding and isoindoline nitroxide tectons for the assembly of organic spin systems...