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.

NUCLEAR INTERACTIONS: THE CHIRAL PICTURE

Chiral expansions of the two-pion exchange components of both two- and three-nucleon forces are reviewed and a discussion is made of the predicted pattern of hierarchies. The strength of the scalar-isoscalar central potential is found to be too large and to defy expectations from the symmetry. The causes of this effect can be understood by studying the nucleon scalar form factor.

Self-dual hopfions

We construct static and time-dependent exact soliton solutions with nontrivial Hopf topological charge for a field theory in 3 + 1 dimensions with the target space being the two dimensional sphere S(2). The model considered is a reduction of the so-called extended Skyrme-Faddeev theory by the removal of the quadratic term in derivatives of the fields. The solutions are constructed using an ansatz based on the conformal and target space symmetries. The solutions are said self-dual because they solve first order differential equations which together with some conditions on the coupling constants, imply the second order equations of motion. The solutions belong to a sub-sector of the theory with an infinite number of local conserved currents. The equation for the profile function of the ansatz corresponds to the Bogomolny equation for the sine-Gordon model.

Static Hopfions in the extended Skyrme-Faddeev model

We construct static soliton solutions with non-zero Hopf topological charges to a theory which is an extension of the Skyrme-Faddeev model by the addition of a further quartic term in derivatives. We use an axially symmetric ansatz based on toroidal coordinates, and solve the resulting two coupled non-linear partial differential equations in two variables by a successive over-relaxation (SOR) method. We construct numerical solutions with Hopf charge up to four, and calculate their analytical behavior in some limiting cases. The solutions present an interesting behavior under the changes of a special combination of the coupling constants of the quartic terms. Their energies and sizes tend to zero as that combination approaches a particular special value. We calculate the equivalent of the Vakulenko and Kapitanskii energy bound for the theory and find that it vanishes at that same special value of the coupling constants. In addition, the model presents an integrable sector with an in finite number of local conserved currents which apparently are not related to symmetries of the action. In the intersection of those two special sectors the theory possesses exact vortex solutions (static and time dependent) which were constructed in a previous paper by one of the authors. It is believed that such model describes some aspects of the low energy limit of the pure SU(2) Yang-Mills theory, and our results may be important in identifying important structures in that strong coupling regime.

Exact vortex solutions in an extended Skyrme-Faddeev model

We construct exact vortex solutions in 3+1 dimensions to a theory which is an extension, due to Gies, of the Skyrme-Faddeev model, and that is believed to describe some aspects of the low energy limit of the pure SU(2) Yang-Mills theory. Despite the efforts in the last decades those are the first exact analytical solutions to be constructed for such type of theory. The exact vortices appear in a very particular sector of the theory characterized by special values of the coupling constants, and by a constraint that leads to an infinite number of conserved charges. The theory is scale invariant in that sector, and the solutions satisfy Bogomolny type equations. The energy of the static vortex is proportional to its topological charge, and waves can travel with the speed of light along them, adding to the energy a term proportional to a U(1) No ether charge they create. We believe such vortices may play a role in the strong coupling regime of the pure SU(2) Yang-Mills theory.

The concept of quasi-integrability: a concrete example

We use the deformed sine-Gordon models recently presented by Bazeia et al [1] to take the first steps towards defining the concept of quasi-integrability. We consider one such definition and use it to calculate an infinite number of quasi-conserved quantities through a modification of the usual techniques of integrable field theories. Performing an expansion around the sine-Gordon theory we are able to evaluate the charges and the anomalies of their conservation laws in a perturbative power series in a small parameter which describes the ""closeness"" to the integrable sine-Gordon model. We show that in the case of the two-soliton scattering the charges, up to first order of perturbation, are conserved asymptotically, i.e. their values are the same in the distant past and future, when the solitons are well separated. We indicate that this property may hold or not to higher orders depending on the behavior of the two-soliton solution under a special parity transformation. For closely bound systems, such as breather-like field configurations, the situation however is more complex and perhaps the anomalies have a different structure implying that the concept of quasi-integrability does not apply in the same way as in the scattering of solitons. We back up our results with the data of many numerical simulations which also demonstrate the existence of long lived breather-like and wobble-like states in these models.

The Bullough-Dodd model coupled to matter fields

The Bullough-Dodd model is an important two-dimensional integrable field theory which finds applications in physics and geometry. We consider a conformally invariant extension of it, and study its integrability properties using a zero curvature condition based on the twisted Kac-Moody algebra A(2)((2)). The one- and two-soliton solutions as well as the breathers are constructed explicitly. We also consider integrable extensions of the Bullough-Dodd model by the introduction of spinor (matter) fields. The resulting theories are conformally invariant and present local internal symmetries. All the one-soliton solutions, for two examples of those models, are constructed using a hybrid of the dressing and Hirota methods. One model is of particular interest because it presents a confinement mechanism for a given conserved charge inside the solitons. (C) 2008 Elsevier B.V. All rights reserved.

Exact vortex solutions in a CP(N) Skyrme-Faddeev type model

We consider a four dimensional field theory with target space being CP(N) which constitutes a generalization of the usual Skyrme-Faddeev model defined on CP(1). We show that it possesses an integrable sector presenting an infinite number of local conservation laws, which are associated to the hidden symmetries of the zero curvature representation of the theory in loop space. We construct an infinite class of exact solutions for that integrable submodel where the fields are meromorphic functions of the combinations (x(1) + i x(2)) and (x(3) + x(0)) of the Cartesian coordinates of four dimensional Minkowski space-time. Among those solutions we have static vortices and also vortices with waves traveling along them with the speed of light. The energy per unity of length of the vortices show an interesting and intricate interaction among the vortices and waves.

Publikdragande namn eller aktivistermed drag i? : Om symboliskt kapital som maktresurs i den globala rättviserörelsens lokala organiseringsarbete

Crowd-pulling names or energetic activists? On symbolic capital as a power resource in the local organizational work within the global justice movement The article explores the global emergence of local Social Forums by means of an ethnographic study of the organization of the Stockholm Social Forum. In international academic debate, the forums are often discussed as a “globalization from below” and a new deliberative democratic process. However, empirical research on the organizational process, and its power relations, has been very limited. The theoretical concept symbolic capital (Bourdieu) and concepts from conversation analysis (CA) are used to analyze how power in terms of priority of interpretation is constructed in conversations between activists with differing political backgrounds. A detailed empirical analysis is based on the case of an internal discussion about inviting keynote speakers to the local forum. The results show how transnational networks and specific knowledge about the global social forum process became symbolic capital in the organizational process. Holders of this specific form of symbolic capital gained priority of interpretation in the internal discussions. This had an impact on the practical outcome of the organizational process in terms of the symbolic framing of the Social Forum. It is argued that the social forum process produces specific forms of cultural distinctions, social hierarchies and patterns of exclusion.

Initiation into engineering : stability and change in gender orders

This article examines processes of doing gender during the initiation of students into engineering programs at university level in Sweden. The article draws on interviews with students, focusing on their understandings of gender. The aim is to explore difficulties with and challenges to traditional gender roles in an academic male dominated arena, by using theories of doing and undoing gender. The empirical material reveals the initiation period or ‘reception’ as a phenomenon both reinforcing and challenging traditional orders. The attempts to challenge norms meet resistance, revealing two paradoxes and one dilemma. In the first paradox the formal purpose of the reception (inclusion) is partly at odds with its informal consequence (exclusion of deviations). The second paradox concerns the contradictory effects of the reception. Even though the reception ensures participation of women, it reinforces existing hierarchies including gender inequality. This results in a dilemma, since in order to protect individual safety, there is a taboo on harassing women which then reproduces stable gender stereotypes. So while harassment taints the respect senior students must earn during the reception, the fact that female students exist in the engineering field challenges the established order and opens the way for change.

Nya möjligheter för stratifieringsforskning i Sverige : Internationella yrkesklassificeringar och stratifieringsmått över tid

New opportunities for social stratification research in Sweden: International occupational classifications and stratification measures over time The Swedish occupational classifications have in recent years been changed to a version of the international standard ISCO-88(COM), i.e. SSYK 96. As a consequence, a wide variety of internationally well-known stratification measures can be applied to Swedish data sets. In this article some tests of the validity of translation keys between the older national classifications and SSYK 96 are presented. The keys seem to work satisfactorily. Thus, it is possible to create long time-series with ISCO/SSYK and use these well-known stratification measures over time. Hence, the international interest in Swedish data sets, and empirical results based on these data sets, could rise. Moreover, in the article an empirical regularity, which is quite astonishing, is paid attention to; stratification measures based on different theoretical rationales indicate very similar hierarchies of occupations.

Estrutura organizacional do tipo network e a satisfação no trabalho

Muitos historiadores afirmam que estamos iniciando uma nova era, a era do conhecimento, da informação, a era digital. Surgem duas grandes armas estratégicas nesse novo ambiente global, para que as empresas sejam competitivas no século vinte e um: a criatividade e a integração. E muitas empresas estão adotando uma nova estrutura organizacional, a estrutura do tipo network, como solução para a gerência da criatividade e da integração. Essa estrutura não se preocupa com novas maneiras de manipular subordinados em vantagem própria. Ao contrário, ela nos desafia a repensar o básico: nossos valores, atitudes e considerações a respeito de liderança, trabalho e tempo. As estruturas hierárquicas convencionais não proporcionam a agilidade de resposta requerida pelo mercado atualmente, devido à burocracia por trás de todas as atividades. As pessoas especializam-se em pequenas atividades, perdendo o sentido do trabalho e a motivação intrínseca. E uma vez que as pessoas são crescentemente reconhecidas como o capital mais importante de qualquer empreendimento, a desmotivação se toma desastrosa para o futuro de qualquer negócio. A reciprocidade empresa-indivíduo é essencial. Esta dissertação pretende analisar o fator humano nos trabalhos realizados dentro da estrutura de network, traçando-se um paralelo entre as propostas dessa estrutura e as necessidades humanas, demonstrando a relação existente entre a estrutura organizacional da criatividade e da integração e a satisfação no trabalho. Iniciamente, apresenta-se uma revisão bibliográfica, sob três diferentes enfoques. Primeiro, explica-se como as transformações mundiais estão afetando a estratégia das empresas. Depois, mostra-se o impacto da estratégia do século vinte e um dentro da organização. Por fim, focaliza-se o lado psicológico do ser humano, suas necessidades, tais quais a autonomia, a competência e o relacionamento interpessoal, os fatores de satisfação intrínsecos e extrínsecos. Assim, pode-se avaliar o impacto de uma nova estrutura organizacional na motivação dos funcionários. A seguir, apresenta-se o projeto de uma pesquisa-piloto dos fatores de satisfação mais relevantes para as pessoas, confirmando-se a importância dos fatores de satisfação intrínsecos. Mostra-se também que os índices de satisfação são diretamente afetados pelo ambiente empresarial onde atuam, de acordo com seu grau de autonomia. Então, são mostradas as conclusões do trabalho e recomendações práticas para mudanças na estrutura organizacional dentro de uma empresa, seus custos e como elas devem ser administradas no longo prazo.

Hierarquia, igualdade e diferença : lutas por reconhecimento no sul do Brasil

Este estudo busca investigar as lógicas da ação em cooperativas de produção e associações de catadores de lixo no bojo de processos de reestruturação econômica que não somente precarizam as condições de emprego, mas também implicam em processos de desassalariamento da força de trabalho. Tomando como perspectiva analítica a sociologia da experiência de François Dubet, decompomos as lógicas da ação de trabalhadores com inserção social distinta, ou seja, um primeiro grupo caracterizado por uma cultura operária e sindical e um segundo grupo caracterizado por um processo de dissociação em relação ao mundo do trabalho formal. Neste sentido, procurou-se investigar: a) as formas de inserção e integração sociais configuradas pelas relações de solidariedade, b) a dimensão da racionalidade estratégica de cada grupo traduzida nas lutas por reconhecimento, e, c) os processos de subjetivação expressos na afirmação identitária de cada coletivo de trabalhadores. Ou seja, quais as condições de possibilidade da ruptura com as hierarquias que organizam e estruturam o universo de coletivos de trabalhadores com origens sociais tão diversas quando confrontados com o princípio meta-social da igualdade? Noutras palavras, quando compelidos com a necessidade de organizar uma cooperativa ou associação, enquanto alternativa palpável de subsistência, os trabalhadores se deparam com um contexto bem diverso da situação de assalariamento. Com efeito, a experiência associativa irá implicar que a adesão à cooperativa ou associação deve ser livre e voluntária e que a gestão e os processos de deliberação devem ser democráticos. A partir da pesquisa de campo verificou-se um processo de subjetivação marcado por estratégias distintas nas cooperativas e associações: enquanto nas cooperativas a adesão dos trabalhadores era caracterizada por uma certa ambivalência entre o compromisso com o projeto de construção da cooperativa e uma postura pautada por um certo pragmatismo tipificado por um campo de possíveis restrito no tocante as alternativas de inserção social, nas associações de catadores de lixo verificou-se um processo de ruptura com os padrões de sociabilidade primária acentuadamente hierarquizados a partir da participação das mulheres nas associações, bem como um efetivo compromisso com o projeto associativo. Na esfera da ação coletiva, a constituição de cooperativas a partir de empresas em situação falimentar revelou uma nova estratégia sindical marcada por uma ação defensiva ante os processos de reestruturação econômica que eliminam postos de trabalho. Já, na ação coletiva das associações constatou-se um movimento de luta pelo reconhecimento de direitos e recuperação da cidadania. Tal movimento é caracterizado por uma lógica do respeito possuindo uma dupla inflexão, ou seja, por um lado busca romper no âmbito da esfera privada com a dominação masculina expressa num código de honra, cuja conseqüência mais dramática se traduz na violência doméstica, e por outro lado se constata um movimento em direção à esfera pública a partir da articulação de uma associação com um movimento social traduzindo desta maneira a reivindicação pelo reconhecimento da dignidade de indivíduos sujeitos a todo tipo de reconhecimento recusado.

As contribuições da interação entre os órgãos públicos para a afetividade do Sistema de Justiça Criminal: uma análise segundo as teorias de redes

Este trabalho investiga as contribuições da interação entre os órgãos públicos para a efetividade do Sistema de Justiça Criminal, à luz dos atores envolvidos e tendo como arcabouço conceitual as teorias de redes interorganizacionais, notadamente redes de políticas públicas. O estudo foi orientado pela suposição inicial de que a atuação em rede pode proporcionar melhores resultados para a administração pública, comparativamente àqueles obtidos com as instituições trabalhando isoladamente. A literatura sobre o tema apresenta que, dentre outras vantagens, redes podem ser mais apropriadas para lidar com problemas complexos, proporcionando mais flexibilidade que as hierarquias, complementaridade nas ações e incentivo à colaboração. Por outro lado, aponta limitações de ordem gerencial ou relacionadas a prestação de contas e responsabilização, a questões legais e culturais, a conflitos de interesses e ao poder. Para a obtenção de dados empíricos, foram entrevistados Delegados de Polícia Federal, Peritos Criminais Federais, Auditores Federais de Controle Externo, Analistas de Finanças e Controle e Procuradores da República, todos detentores de função de gestão. Mediante a categorização dos depoimentos colhidos na pesquisa de campo foi possível sintetizar a percepção dos entrevistados, o que revelou que, corroborando os atributos identificados na literatura, vários são os benefícios da atuação em rede. Mas, do mesmo modo que verificado na literatura, os entrevistados igualmente destacaram que redes apresentam muitos desafios e limitações.

O processo decisório do empreendedor frente à transição da pequena para a média empresa: casos do setor hoteleiro na cidade Curitiba-PR

O presente estudo buscou entender como as mudanças ocasionadas pelo crescimento da empresa afetam o processo decisório, com foco na transição de pequena para média empresa. Buscou-se preencher o gap existente sobre esse período de transição entre pequenas e médias empresas, principalmente sob os aspectos abordados pelas lógicas Effectuation e Causation, descritas por Sarasvathy (2001). Esta pesquisa parte do princípio de que as pequenas empresas possuem poucos níveis hierárquicos e geralmente as decisões estão centralizadas no empreendedor-proprietário. Já quando a empresa cresce e torna-se média empresa, há um aumento nas formalizações dos processos e nas hierarquias. Com isso, há uma necessidade de modificar o processo decisório, que pode ser descentralizada ou envolver mais pessoas, se comparado às pequenas empresas. O referencial teórico da pesquisa, teve como base temas relativos à pequenas e médias empresas; setor hoteleiro, estrutura organizacional; ciclo de vida das organizações; processo decisório; e, por fim, o uso das lógicas causation e effectuation, com foco nas características do processo decisório do empreendedor. A pesquisa teve de caráter qualitativo e exploratório e faz uso do método de estudos de casos, através de entrevistas em profundidade com empreendedores do setor hoteleiro, que é um setor de serviços que tem tido grande visibilidade e crescimento nos últimos anos. Foram analisados dois casos no setor hoteleiro de Curitiba- PR, que passaram recentemente pela fase de transição de pequena para média empresa. Em cada um dos casos foram entrevistados os proprietários-fundadores, os seus sucessores diretos e o gerente-geral. Também levantou-se depoimentos de clientes em sites de avalizações de hospedagem. Para análise dos dados foram atribuídas categorias analíticas, e foi realizada a análise do conteúdo, (contrapondo com o referencial teórico apresentado) e cross-case analysis (comparativo das informações obtidas em cada caso). Ao finalizar a pesquisa, concluiu-se que a transição de pequena para média empresa afeta as decisões no sentido de aumentar a formalização de processos, há uma delegação de pequenos poderes, um maior distanciamento dos funcionários e a cúpula administrativa, há uma preocupação maior com a capacitação dos funcionários, são consideração de aspectos racionais na decisão, há uma equipe de suporte para tomada de decisões, há uma preocupação com o longo prazo, as responsabilidades tornam-se mais claras, e mais autonomia é delegada aos funcionários. Pode-se dizer que não mudou o fato da administração permanecer familiar, o foco das decisões ainda mantém-se no curto prazo, as decisões permanecem flexíveis, mantém-se a centralização do poder de decisões estratégicas; há ainda uma dificuldade em separar o pessoal do profissional, definição de metas e objetivos não muito claras, investimentos em um projeto por vez, e o uso de rede de contatos ainda é importante para o desenvolvimento da empresa.