Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Oral Health in Brazil - Part I: public oral health policies

This paper reviews the historical development of public health policies in Brazil and the insertion of oral health in this context. Since 1988, Brazil established a Unified National Health System ("Sistema Único de Saúde" - SUS), which was conceived to assure access to health actions and services, including oral health. However, a history of lack of access to health services and the health problems faced by the Brazilian population make the process of building and consolidating the SUS extremely challenging. Since 2004, the Oral Health National Policy has proposed a reorientation of the health care model, supported by an adaptation of the working system of Oral Health teams so that they include actions of health promotion, protection and recovery. Human resources should be prepared to act in this system. The qualifying process must take in consideration knowledge evolution, changes in the work process and changes in demographical and epidemiological aspects, according to a perspective of maintaining a balance between technique and social relevance.

Da estratégia individual à ação coletiva: grupos de suporte e gênero no contexto da gestão da diversidade

Este artigo trata da formação de grupo de suporte no marco das políticas de diversidade empresarial. São escassas as pesquisas que abordem essa prática de gestão da diversidade. Visando a contribuir para o preenchimento dessa lacuna, o trabalho analisa um Comitê de Mulheres, a fim de compreender de que forma ele é influenciado pela política de diversidade formatada pela direção da organização e a influencia. Foi realizado um estudo de caso etnográfico em uma corporação transnacional cuja sede no Brasil está localizada em São Paulo. Os resultados apontam para um paradoxo. Por um lado, o Comitê analisado representa um processo de emancipação, sinalizando para práticas gerenciais mais inclusivas e participativas. Por outro, notou-se a presença de mecanismos de controle, uma vez que há um esforço da direção da empresa em disciplinar o seu funcionamento.

O programa de incentivo à instalação de cozinhas comunitárias: avaliação de uma política pública brasileira

O trabalho tem como objetivo descrever e avaliar as Cozinhas Comunitárias (CC) apoiadas pelo Ministério do Desenvolvimento Social (MDS) em funcionamento no Brasil em 2006. Trata-se de estudo transversal que investigou as CC, com projetos contemplados nos editais do MDS realizados entre os anos de 2003 a 2005. Inicialmente foram identificadas as CC em funcionamento e estas CC foram visitadas para a coleta de dados relativos ao atendimento prestado, avaliação da estrutura física e das refeições oferecidas. A estrutura física foi avaliada por meio de um check-list, baseado nas exigências da legislação sanitária, e a oferta de refeições foi caracterizada pelos alimentos e preparações oferecidas pelas CC para determinar o valor nutricional das refeições. A maioria das cozinhas financiadas (60%) estava em fase de implementação no momento da entrevista, entre as cozinhas em funcionamento, a maioria estava localizada nos Estados de Santa Catarina e Paraná. Observou-se também que cerca de 20% das cozinhas não ofereciam refeições regularmente. Ao realizar a avaliação nutricional das refeições, foi observada uma grande heterogeneidade na oferta de alimentos. Ao avaliar as condições higiênico-sanitárias, quase a totalidade das CC foram classificadas como deficientes ou regulares, indicando inadequação na produção de refeições. O Programa das Cozinhas Comunitárias pode exercer importante papel nas políticas de segurança alimentar e nutricional do país, no entanto, devem ser realizados esforços no sentido de garantir a implantação em comunidades situadas nos Estados menos desenvolvidos, com fixação de números mínimos para atendimento, de parâmetros nutricionais e garantia de fornecimento seguro de alimentos

Working at night and work ability among nursing personnel: when precarious employment makes the diVerence

Purpose To test the association between night work and work ability, and verify whether the type of contractual employment has any inXuence over this association. Methods Permanent workers (N = 642) and workers with precarious jobs (temporary contract or outsourced; N = 552) were interviewed and Wlled out questionnaires concerning work hours and work ability index. They were classiWed into: never worked at night, ex-night workers, currently working up to Wve nights, and currently working at least six nights/2-week span. Results After adjusting for socio-demography and work variables, current night work was signiWcantly associated with inadequate WAI (vs. day work with no experience in night work) only for precarious workers (OR 2.00, CI 1.01- 3.95 and OR 1.85, CI 1.09-3.13 for those working up to Wve nights and those working at least six nights in 2 weeks, respectively). Conclusions Unequal opportunities at work and little experience in night work among precarious workers may explain their higher susceptibility to night work

Work and excessive sleepiness among Brazilian evening high school students: effects on days off

Previous studies have revealed that students who work and study build up sleep deficits during the wrkweek, which can trigger a sleep rebound during days off. The objective of this study was to investigate the impact of working on sleepiness during days off working / non-working on sleepiness days off among high school students. The study population, aged 14-21 years, attended evening classes in São Paulo, Brazil. For the study, the students completed questionaires on living conditions, health, and work; wore actigraphs; and completed the Karolinska Sleepiness Scale (KSS). To predict sleepiness, a logistic regression analysis was performed. Excessive sleepiness was observed on the first day off among working students. Results suggest that working is a significant predictor for sleepiness and that two shifts of daily systematic activities, study and work, might lead to excessive daytime sleepiness on the first day off. Further, this observed excessive sleepiness may reflect the sleep debt accumulated during the workweek

Stress at work among electric utility workers

In the last decades there was an increase in stress at work and its effects on workers' health. These issues are still little studied in the electric utility sector. This study aims to evaluate factors associated with stress at work and to verify its associations with health status among workers of an electric company in São Paulo State, Brazil. A cross-sectional study was conducted with 474 subjects (87.5% of the eligible workers). Data were collected using self-reported questionnaires. A descriptive analysis, a multiple linear hierarchical regression analysis and a correlation analysis were performed. The majority of participants were males (91.1%) and the mean age was 37.5 yr. The mean score of stress level was 2.3 points (scale ranging from 1.0 to 5.0). Hierarchical multiple analyses showed that: regular practice of physical activities (p=0.025) and individual monthly income (p=0.002) were inversely associated with stress level; BMI was marginally associated with the stress level (p=0.074). The demographic characteristics were not associated with stress. Stress at work was significantly associated with physical and mental health status (p<0.001). To improve health of electric utility workers, actions are suggested to decrease stress by remuneration and an appropriate practice of physical activity aiming reduction of BMI

Poder de agir e sofrimento: estudo de caso sobre Agentes Comunitários de Saúde

Os Agentes Comunitários de Saúde (ACS) possuem uma missão de grande importância na implementação da Estratégia de Saúde da Família: devem criar o vínculo entre a população e os serviços de atenção básica, combinando ações de promoção da saúde, assistência básica e prevenção. A equipe do Cerest de Piracicaba realizou, no período de 2004-2006, análise ergonômica do trabalho em uma unidade de saúde de família cujos objetivos foram compreender a relação entre queixas de sofrimento e as condições de trabalho das ACS e propor medidas para modificá-las. Os resultados da AET mostram que, a despeito do engajamento visando resolver os problemas de saúde das famílias, o limitado “poder de agir” das ACS, devido às limitações da unidade e da rede de serviços, expunham-nas a situações nas quais se encontravam incapazes de adotar ações efetivas e nas quais não podiam se prevenir do sofrimento

Incentivos governamentais para promoção da segurança e saúde no trabalho: em busca de alternativas e possibilidades

Introdução: A regulamentação e a fiscalização têm sido os principais instrumentos do Estado para promover a melhoria da segurança e da saúde no trabalho (SST). Neste estudo, argumenta-se que a combinação desses instrumentos com o uso de incentivos governamentais pode ser mais eficaz para promover essa melhoria. A questão que direcionou este estudo foi: "Quais incentivos governamentais, se implementados, seriam os mais promissores para influenciar a alta administração das organizações na melhoria da SST?". Metodologia: Na busca de respostas para essa questão foram entrevistados membros da alta administração de cinco companhias que operam 11 terminais marítimos para granéis líquidos no país. Utilizou-se um questionário contendo 43 questões que permitiu coletar informações sobre seis tipos de incentivos: flexibilização das alíquotas de contribuição do seguro acidente do trabalho (SAT), flexibilização da ocorrência das fiscalizações programadas dos ambientes e condições de trabalho, reconhecimento público em SST, publicidade negativa em SST, publicidade de dados comparativos do desempenho da SST entre organizações do mesmo segmento e estabelecimento de requisitos de SST nas licitações públicas. Resultados e conclusão: Os incentivos estudados têm potencial para exercer influência nas decisões dos entrevistados, com exceção do incentivo na forma de estabelecimento de requisitos de SST nas licitações públicas, pois essas companhias não possuem relações comerciais com o governo. Os incentivos na forma de flexibilização das alíquotas do SAT e na forma de flexibilização da ocorrência das fiscalizações programadas foram apontados como os mais promissores para promover a melhoria da SST

Effects of naps at work on the sleepiness of 12-hour night shift nursing personnel

Background and objective: The purpose of the present study was to evaluate the effects of a nap at work on the sleepiness of 12-hour, night-shift (registered and assistant) nursing personnel.Methods: Twelve nurses filled out daily logs, the Karolinska Sleepiness Scale (KS), and wore wrist actigraphs for two periods of four continuous days.Results: Mean nap duration during the night shifts was 138.3 (SD+39.8) minutes. The mean sleepiness level assessed by the KS score was lower, 3.3 (SD±1.6), when the nap was taken during the first span (00:01 - 03:00h) of the night shift, compared with 6.6 (SD±1.0) when there was no nap. The mean sleepiness level assessed by the KS score was also lower, 3.6 (SD±0.9), when the nap was taken during the second span (03:01 - 06:00h) of the night shift, compared with 7.0 (SD±1.1) when there was no nap. Thus, napping either during the first or second part of the night shift reduces sleepiness of 12-hour, night-shift nursing personnel. Moreover, the mean duration of the first sleep episode after night work was longer in those who did not nap than in those who did. Conclusions: The results of this study show that napping during the 12-hour, night-shift results in less sleepiness at work and less need for recovery sleep after work

Work start time and chronotype of indoor and outdoor daytime workers

Introdução e objetivo: A exposição à luz natural tem efeitos relevantes no sistema de temporização biológica. Pode-se supor que essa exposição poderia promover um ajuste melhor entre os ritmos biológicos e os horários de início de trabalho entre trabalhadores diurnos de ambientes externos. O objetivo deste estudo foi comparar a matutinidade/vespertinidade e a relação entre o horário de trabalho real e o ideal em trabalhadores diurnos expostos a condições de iluminação distintas. Métodos: O estudo foi conduzido com dois grupos de trabalhadores (n=49) que residiam em uma área rural e tinham condições sociais similares. Um grupo trabalhava em ambiente interno (n=20, idade média 30,8 anos (21-50); desvio padrão=9,8) e o outro grupo trabalhava em ambiente externo (n=29, idade média 30,8 anos (17- 50); desvio padrão=10,0). Os trabalhadores preencheram um questionário de matutinidade/vespertinidade (MEQ). Foi realizada uma ANOVA de um fator com o intuito de comparar os escores do MEQ entre os dois grupos de trabalhadores. Resultados: Como esperado, o Grupo do Ambiente Externo (GAE) apresentou média de escores mais elevada que o Grupo do Ambiente Interno (GAI), o que significa uma tendência à matutinidade (GAE: 58,4±7,9; GAI; 47,4±6,4), com significância estatística (F=26,22; p<0,001). De acordo com os dados relatados em relação aos horários de trabalho, o GAE gostaria de atrasar seu horário de trabalho em 31 minutos, em média, enquanto que o GAI gostaria de atrasar em 96 minutos seu horário de trabalho (F=7,71; p<0,01). Conclusões: Os resultados desse estudo sugerem que a exposição à luz natural pode promover um ajuste melhor aos horários de início de trabalho matutinos

A construção do direito à saúde no Brasil

O direito à saúde recebeu - pela primeira vez - tratamento constitucional no brasil em 1988, fruto de grande participação popular. Neste estudo, se busca compreender a extensão dessa afirmação e verificar sua implementação normativa e jurisprudencial. A partir do estudo da evolução dos conceitos de saúde e de direito, concluiu-se que o direito à saúde deve implicar a constante participação popular para que possa ser delimitado. Verificou-se, também, que o arcabouço normativo vem sendo construído em conformidade com as exigências constitucionais. Quanto à construção jurisprudencial, se percebeu que ela vem acontecendo de forma errática e que os tribunais superiores raramente enfrentam a discussão da política de saúde desenhada na Constituição da República Federativa do Brasil de 1988. Concluiu-se que a afirmação constitucional tem demonstrado vigor, haja vista o grande desenvolvimento normativo conforme `compreensão contemporânea; e que o controle judicial da realização da política sanitária é ainda incipiente

Brazilian foreign policy: Old and new paths as regards institutional aspects, multilateralism and foreign policy towards the South

This paper emphasizes the important changes in Brazilian foreign policy after Luiz Inacio Lula da Silva took tip the power in 2002. The paper defends the idea that it is not possible to argue that there were deep changes in comparison to Cardoso's administration. However, evidence shows that new things are happening as regards the design of a more active and clear foreign action line which led to institutional changes and to more incisive multilateral paths. This results both from the political profile of the direct operators of foreign policy and the aims of lite presidential diplomacy, The hypothesis dealt with on this paper consists on the fact that Lula's administration has not fully broken with the old administration practices, however the aims of global and regional integration are being plotted more clearly and with a higher degree of activism. This becomes clear in three aspects of the Brazilian foreign policy: the institutional framework, the practice of multilateralism and the foreign policy towards the South, the three topics analyzed in this paper.