2575 search results - page 117 / 515 » Providing security with insecure systems |
166
click to vote
JCS
2007
15 years 6 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
184
click to vote
WER
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
145
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
147
click to vote
HICSS
2006
IEEE
16 years 7 days ago
2006
IEEE
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
168
click to vote
IEEEARES
2006
IEEE
16 years 7 days ago
2006
IEEE
Discovery of service providers that are useful to service requesters is a common problem in large, dynamic serviceoriented systems, such as Grids. Simple service indices do not ad...