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.

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...