Passive Intruder
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC / O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
O ponto inicial deste trabalho é um caso de estudo de um protocolo de carteira eletrônica modelado por uma teoria equacional de um fragmento da aritmética, que inclui exponenciação. Foi estudado um procedimento de decisão para o problema da dedução do intruso, proposto recentemente por Bursuc, Comon-Lundh e Delaune. O intruso tem as mesmas capacidade
Publicado em: 2009
-
2. Social stress-induced bladder dysfunction: potential role of corticotropin-releasing factor
Psychological stress can impact on visceral function with pathological consequences, although the mechanisms underlying this are poorly understood. Here we demonstrate that social stress produces marked changes in bladder structure and function. Male rats were subjected to repeated (7 days) social defeat stress using the resident-intruder model. Measurement
American Physiological Society.