3420 search results - page 155 / 684 » A Language-Based Approach to Security |
132
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
137
Voted
HICSS
2008
IEEE
2008
IEEE
Integration of an Ontological Information Security Concept in Risk Aware Business Process Management
15 years 10 months ago
Abstract— The ability to prevent risks as well as to appropriately counteract occurring threats has increasingly become a crucial success factor. Traditional business process man...
133
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
126
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
138
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...