9503 search results - page 159 / 1901 » Authenticated System Calls |
148
Voted
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
138
Voted
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
The comprehension of the dynamic and static structure of a system is of main importance for purposes of adding features, bug solving, and for redesign activities. This holds parti...
150
click to vote
SACMAT
2004
ACM
15 years 11 months ago
2004
ACM
We propose role-based cascaded delegation, a model for delegation of authority in decentralized trust management systems. We show that role-based cascaded delegation combines the ...
170
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
158
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
Human-memorable passwords are a mainstay of computer security. To decrease vulnerability of passwords to bruteforce dictionary attacks, many organizations enforce complicated pass...