5722 search results - page 13 / 1145 » Security Function Interactions |
MP
2010
13 years 3 months ago
2010
CCS
2005
ACM
14 years 2 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
ISI
2006
Springer
13 years 8 months ago
2006
Springer
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
Can we secure user authentication against eavesdropping adversaries, relying on human cognitive functions alone, unassisted by any external computational device? To accomplish thi...