1,721,112 research outputs found
È dell’informatica il fin la meraviglia. Metafore per la sicurezza e sicurezza delle metafore
No full textL'informatica consiste sostanzialmente nella produzione di metafore coerenti, comprensibili
(agli utenti e ai programmatori), adattabili facilmente e sicure. Quest'ultimo è un obiettivo
particolarmente difficile: le metafore per la sicurezza possono essere ingannevoli o superficiali e la valutazione della loro effettiva sicurezza è piena di trappole insidiose e astrazioni imperfette che i malintenzionati possono sfruttare a loro vantaggio. In effetti, occorre sempre
tener presente che le metafore dell'informatica predicano sul mondo della computazione, della manipolazione simbolica e solo di riflesso sull'universo in cui agiamo. Per valutare l'efficacia della protezione sarà dunque sempre necessario considerare con attenzione la relazione
fra i due mondi ed evitare di lasciarsi trasportare acriticamente dal portato metaforico
Recognizing self-mutating malware by code normalization and control-flow graph analysis
No full textNext-generation malware will adopt self-mutation to circumvent current malware detection techniques. The authors propose a strategy based on code normalization that reduces different instances of the same malware into a common form that can enable accurate detection
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management
No full textTraditional support tools for software engineers, normally based on a client–server architecture, are unsuitable to deal with the new issues emerging from the current (and future) cooperative work scenarios (where connectivity is intrinsically transient, the number of interacting partners dynamically changes, etc.). This paper presents a quantitative assessment of a fully decentralized, peer-to-peer, cooperative infrastructure. Stochastic Well-formed Nets (SWNs) modeling the new peer-to-peer architecture, and a traditional (client–server) one, are developed and analyzed: we used SWNs for their ability to directly exploit the symmetries intrinsically present in the modeled systems in order to reduce the complexity of analysis/simulation. The goal is to compare the impact of the two alternative protocols on the collaborative work. The paper focuses on methodological issues concerning choice of an appropriate model abstraction level, adoption of a compositional modeling approach, and mainly, management of model solution complexity. Some performance figures of interest (selected among a number) are also presented and discussed
- …
