3811 search results - page 43 / 763 » The Safe-Tcl Security Model |
105
click to vote
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
FC
2007
Springer
15 years 6 months ago
2007
Springer
1 2 There is a critical need in computer security to communicate risks and thereby enable informed decisions by naive users. Yet computer security has not been engaged with the sc...
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
FSKD
2005
Springer
15 years 5 months ago
2005
Springer
The business environment is full of uncertainties. Investing in various asset classes may lower the risk of overall portfolio and increase the potential for greater returns. In thi...
141
click to vote
FOSAD
2009
Springer
15 years 6 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...