1925 search results - page 13 / 385 » Dynamic Typing |
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
JCNS
2010
13 years 6 months ago
2010
SFP
2000
13 years 9 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...
CSFW
2006
IEEE
14 years 1 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...
ACSAC
2001
IEEE
13 years 11 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...