Security Theorems via Model Theory

A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some ys . psi). Models (interpretations) for these formulas are *skeletons*, partially ordered structures consisting of a number of local protocol behaviors. Realized skeletons contain enough local sessions to explain all the behavior, when combined with some possible adversary behaviors. We show two results. (1) If phi is the antecedent of a security goal, then there is a skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there is a homomorphism from A_phi to B. (2) A protocol enforces for all xs . (phi implies for some ys . psi) iff every realized homomorphic image of A_phi satisfies psi. Hence, to verify a security goal, one can use the Cryptographic Protocol Shapes Analyzer CPSA (TACAS, 2007) to identify minimal realized skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in each of these shapes, then the goal holds

Anemia as the cause of clinical inability of candidates to blood donation for a hemotherapy and hematology center in the state of Maranhão, Brazil

Objetivo: Avaliar a anemia como causa de inaptidão clínica de candidatos a doação de sangue no estado do Maranhão. Métodos: Este estudo trata de uma série temporal da prevalência de anemia entre os candidatos doadores de sangue. Foram coletados dados secundários do Sistema de Informação do Hemocentro do Maranhão. Os candidatos a doação foram atendidos entre os anos de 2001 e 2010. A análise estatística foi realizada com Epi Info versão 6.04d. Os dados foram considerados estatisticamente significativos quando p <0,05. Resultados: A proporção de inaptidão clínica foi de 16,8% (n=1,672) sendo desses 63,27% (n=6,198) eram homens. Considerando-se o grupo de inaptos, a anemia foi a segunda causa mais frequente com 16.68% (n= 16,729). Nos homens, o uso de drogas foi a causa mais frequente de inaptidão (90.94%; n= 650) e a anemia foi a última causa com 28.76% (n=458). Em mulheres a anemia representou a maior causa de inaptidão clínica (71.24%; p=0,000). Conclusão: A anemia configura-se como causa importante de inaptidão, principalmente em mulheres, sendo a primeira.Objective: To evaluate anemia as a cause of clinical disability in blood donors in the state of Maranhão- Brazil. Methods: This study addresses a time series of prevalence of anemia among blood donor candidates. Secondary data were collected from the Information System of the Blood Center of Maranhão. Donor candidates were treated between 2001 and 2010. Statistical analysis was performed with Epi Info version 6.04d. Results: The proportion of clinical disability was 16.8% (n = 1,672) and 63.27% (n = 6,198) consisted of men. Considering the unfit group, anemia was the second most frequent cause with 16.68% (n = 16,729). In men, drug use was the most frequent cause of inability (90.94%, n = 650) and anemia was the last cause with 28.76% (n = 458). In women, anemia was the major cause of clinical inability (71.24%, p = 0.000). Conclusion: Anemia is an important cause of inability, and in women it is the first one

AVALIAÇÃO NUTRICIONAL DE PACIENTES COM CÂNCER GÁSTRICO E DE OUTRAS LOCALIZAÇÕES / NUTRITIONAL EVALUATION OF PATIENTS WITH GASTRIC CANCER AND OTHER LOCATIONS

Resumo Introdução: O câncer promove perda de peso progressiva e acentuada. A desnutrição oncológica varia de 40,0% a 80,0%. O câncer gastrointestinal resulta em diversas complicações nutricionais. Objetivos: Avaliar a prevalência de desnutrição por diferentes métodos de avaliação nutricional em pacientes com tumores no trato digestivo e em outras localizações. Métodos: Estudo transversal realizado com 366 pacientes em um hospital referência do município de São Luís (MA). Os dados clínicos, demográficos e o estado nutricional dos pacientes foram avaliados utilizando-se métodos objetivos (antropométricos) e Avaliação Subjetiva Global (ASG-PPP escore). Resultados: Dos pacientes avaliados 27,6% tinham tumor no trato digestivo. Houve prevalência de mulheres (51,7%), procedentes de São Luís (48,1%), com faixa etária acima de 59 anos (45,1%), o tratamento predominante foi o cirúrgico (27,9%). Apenas a idade se associou estatisticamente (p<0,05) à tumores de outras localizações. Os pacientes com tumores digestivos apresentaram menor peso (p =0,010) e menor IMC (<0,022) em adultos e idosos (p<0,001) quando comparados com pacientes com tumores em outras localizações. Dentre os pacientes que foram avaliados pela ASG-PPP, 63,9% não estavam desnutridos. Dentre os pacientes com tumor digestivo, o maior percentual foi de gravemente desnutrido (33,8%) segundo a ASG-PPP, e em contrapartida, nos tumores de outras localizações observou se maior percentual de pacientes com desnutrição moderada (76,6%). Conclusão: O presente estudo identificou a associação do aumento da idade à tumores de outras localizações, em contrapartida, pacientes com tumores digestivos apresentaram menor peso e IMC.Palavras-chave: Neoplasias gástricas. Desnutrição. Antropometria. Estado nutricional. Índice de Massa Corporal.Abstract Introduction: Cancer causes progressive and acute loss of weight. The cancer malnutrition varies from 40.0% to 0.80%. The gastrointestinal cancer results in various nutritional complications Objective: To compare the prevalence of malnutrition rates for different methods of nutritional assessment in patients with and without tumors in the digestive tract in a reference hospital in Sao Luis, MA. Methods: Cross-sectional study with 366 patients in reference cancer hospital in Sao Luiz cancer - MA. There was nutritional status through anthropometric methods (weight and BMI) and subjective (ASGPPP). Results: 27.6% had a tumor in the digestive tract. There was a prevalence of women (51.7%), from São Luiz (48.1%), with age group above 59 years (45.1%), the predominant treatment was surgery (27.9%). Only age was statistically associated (p <0.05) with tumors from other locations. Patients with digestive tumors presented lower weight (p = 0.010) and lower BMI (<0.022) in adults and elderly (p <0.001) when compared to patients with tumors in other locations. Among the patients who were evaluated by ASG-PPP, 63.9% were not malnourished. Among the patients with digestive tumor, the highest percentage was severely malnourished (33.8%) according to the ASG-PPP, and in contrast, in the tumors of other locations, a higher percentage of patients with moderate malnutrition (76.6%) were observed. Conclusion: The present study identified the association of increased age to tumors from other locations, in contrast, patients with digestive tumors presented lower weight and BMI.Keywords: Stomach Neoplasms. Malnutrition. Anthropometry. Nutritional status. Body Mass Index.

INDICADORES ANTROPOMÉTRICOS EM CRIANÇAS COM CÂNCER EM UM HOSPITAL DE REFERÊNCIA / ANTHROPOMETRIC INDICATORS IN CHILDREN WITH CANCER IN REFERENCE HOSPITAL

Introdução: A avaliação nutricional de crianças com câncer é de grande importância, e deve ser realizada no momento da internação,ou logo após o seu diagnóstico. Objetivo: Avaliar os indicadores antropométricos de crianças com câncer. Métodos:Estudo transversal analítico, realizado de janeiro a fevereiro de 2014, em um Hospital do Câncer no município de São Luís (MA).Foram coletados dados referentes ao gênero, idade, peso e altura e a partir desses foram realizados os indicadores antropométricos,peso por idade (P/I), Estatura por idade (E/I) e Índice de massa corporal por idade (IMC/I), cuja classificação obedeceu aoescore z. Resultados: Foram avaliadas 53 crianças e destas 81,1% meninos, 52,8% estavam na faixa etária de 7 a 8 anos e 54,7%com diagnóstico tumoral de leucemia. De acordo com o IMC/I houve uma predominância de crianças eutróficas (66,0%). O indicadorP/I, apresentou frequência de peso adequado para idade (67,9%) e 22,6% de risco nutricional (baixo peso P/I). Com relaçãoao indicador E/I, observou-se que 92,5% demonstraram estatura adequada para idade. Apresentaram risco nutricional,23,6% dos meninos e 20% das meninas (baixo P/I). Houve adequação da E/I em 90,7% dos meninos e em 100% das meninas.Conclusão: Em todos os indicadores antropométricos notou-se prevalência de eutrofia em relação à idade.Palavras-chave: Estado nutricional. Câncer. Pediatria.AbstractIntroduction: Nutritional assessment in childhood cancer is important, and should be performed at admission, or shortly aftertheir diagnosis. Objective: Assess anthropometric indicators of children with cancer. Methods: Analytical cross-sectionalstudy, conducted between January and February 2014 at a Cancer Hospital in São Luís, Maranhão, Brazil. Data regarding gender,age, weight and height were collected and from these the anthropometric indicators weight-for-age, height-for-age andbody mass index-for-age, these classifications the z- score. Results: Were evaluated 53 children, 81.1% were male, 52.8% in theage group 7-8 years old, 54.7% with primary tumor diagnosis of leukemia. According to the body mass index-for-age was apredominance of eutrophic children, with 66.0 %. The weight-for-age indicator, presented frequency appropriate weight for age(67.9%) and nutritional risk percentage (low weight for age), 22.6%. Regarding the indicator height-for-age, it was observed that92.5% demonstrated adequate height-for-age. They presented nutritional risk, with high percentage of appropriate weight forage, 23.6% of boys and 20% girls (Low weight-for-age). There was adequate height in relation to age for 90.7% of the boys and allthe girls (100%). Conclusion: In all anthropometric indicators was noted prevalence of normal weight in relation to age.Keywords: Nutritional Status. Cancer. Pediatrics

AVALIAÇÃO DIETÉTICA E QUALIDADE DE VIDA EM PACIENTES ONCOLÓGICOS AMBULATORIAIS EM QUIMIOTERAPIA / DIETARY EVALUATION AND QUALITY OF LIFE IN AMBULATORY ONCOLOGICAL PATIENTS IN CHEMOTHERAPY

Introdução: O câncer ocasiona diversas mudanças psíquicas e sociais, que de maneira rápida induzem a alterações metabólicas,gerando grande impacto na qualidade de vida dos indivíduos portadores dessa enfermidade. Objetivo: Relacionar a avaliaçãodietética e qualidade de vida em pacientes oncológicos ambulatoriais em tratamento quimioterápico. Métodos: Estudotransversal e analítico, realizado em um Centro de Referência de Tratamento e Diagnóstico de Câncer. A amostra foi de 75 pacientesoncológicos (ambos os sexos), em tratamento quimioterápico. Foram aplicados três questionários distintos: sociodemográfico;questionário de frequência de consumo alimentar Quantitativo e o questionário European for Research and Tratament® of Cancer Quality of life - EORTC QLQ C30 (versão 3.0). Para a análise de dados utilizou-se o programa estatístico Stata (versão12) e adotou-se o nível de significância alfa < 0,05. Resultados: A maioria era casado (52%) e do sexo feminino (66,7%), commédia de idade de 42 anos e renda de 1 a 2 salários mínimos (69,3%). Em relação ao etilismo, 98,7% negaram tal prática. Nãohouveram correlações estatisticamente significativas entre o consumo alimentar e qualidade de vida, contudo a ingestão decarboidratos associou-se positivamente a Escala de Saúde Global (p=0,011), Escala de Sintomas (p=0,025) e Escala Funcional(p=0,016). Já a Escala Funcional apresentou associação estatisticamente significante com o consumo de vitamina C (p=0,016).Conclusão: O consumo de carboidratos, gorduras e vitamina C apresentou relação positiva com indicadores da escala de qualidadede vida em pacientes oncológicos e reforça a importância da adequada e completa assistência nutricional para pacientesoncológicos submetidos ao tratamento quimioterápico.Palavras-chave: Qualidade de Vida. Dieta. Oncologia.AbstractIntroduction: Cancer causes several psychic and social changes, which quickly induce metabolic changes, generating a greatimpact on the quality of life of patients with this disease. Objective: of this study was to relate dietary assessment and quality of lifein outpatient cancer patients in chemotherapy treatment. Methods: Cross-sectional and analytical study, from March to April2014, at the Cancer Treatment and Diagnosis Reference Center. The sample consisted of 75 cancer patients, both sexes, undergoingchemotherapy treatment, regardless of tumor location, cycle and type of drugs used or stage of the disease, associated ornot with chronic pathologies. Three distinct questionnaires were applied: sociodemographic; Quantitative food consumptionfrequency questionnaire and the European Quality of Life Research and Treatment for Cancer questionnaire - EORTC QLQ C30(version 3.0). For data analysis, the statistical program Stata® (version 12) was used and the significance level alpha <0.05 wasadopted. Results: The participants were mostly married (52%) and female (66.7%), with a mean age of 42 years and income of 1to 2 minimum wages (69.3%). Regarding alcoholism, 98.7%, denied such practice. Carbohydrate intake was related to theGlobal Health Scale (p = 0.011), Symptom Scale (p = 0.025) and Functional Scale (p = 0.016). The Functional Scale showed astatistically significant relationship with vitamin C intake (p = 0.016). Conclusion: The consumption of carbohydrates, fats andvitamin C showed a positive relationship with indicators of the quality of life scale in cancer patients and reinforces the importanceof adequate and complete nutritional assistance for cancer patients undergoing chemotherapy.Keywords: Quality of Life. Diet. Oncology

Sur des problèmes de décomposition d'un graphe, liés à l'implantation

Université : Faculté des sciences de l'Université de Grenobl

Une courte histoire (de la naissance) du nombre de sauts

This report presents a short history (of birth) of the jump number of a partial order and its relationship to the beginning of Michel Habib's scientific work.Ce rapport présente une courte histoire (de la naissance) du nombre de sauts et sa relation avec le début du travail scientifique de Michel Habib

L'ordinateur, innovation radicale (ou les deux machines de Turing)

International audienc