1925 search results - page 13 / 385 » Dynamic Typing |
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
JCNS
2010
15 years 26 days ago
2010
110
Voted
SFP
2000
15 years 3 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
109
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
105
Voted
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...