2043 search results - page 136 / 409 » Reasoning About Security Models |
FM
2005
Springer
15 years 6 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
112
click to vote
COMPSEC
2004
15 years 18 days ago
2004
The idea of risk permeates the information security field. We use terms like ``risk management'', ``risk assessment'', ``risk model'' and ``risk analy...
95
Voted
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
132
click to vote
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
94
Voted
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...