12637 search results - page 435 / 2528 » Security for Extensible Systems |
192
Voted
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
165
click to vote
JMM2
2008
15 years 6 months ago
2008
Nowadays m-banking (mobile banking) is widely used in many banks. It has embarked upon supply of various services based on different systems and with the aid of various services su...
179
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
192
click to vote
COMCOM
2000
15 years 6 months ago
2000
: Security is an important issue for the widespread deployment of applications based on software agent technology. It is generally agreed that without the proper countermeasures in...
193
click to vote
EVOTING
2004
15 years 8 months ago
2004
: This paper gives an overview about the Estonian e-voting system. Paper discusses how the concept of e-voting system is designed to resist some of the main challenges of remote e-...