3811 search results - page 44 / 763 » The Safe-Tcl Security Model |
WWW
2008
ACM
16 years 16 days ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
136
click to vote
APWEB
2011
Springer
14 years 3 months ago
2011
Springer
Host compromise is a serious security problem for operating systems. Most previous solutions based on integrity protection models are difficult to use; on the other hand, usable i...
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
STOC
2005
ACM
16 years 4 days ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
SIGUCCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper will explore the SNet model that Hunter College of the City University of New York developed and implemented. During the Spring of 2002, CUNY as a central organization ...