2209 search results - page 198 / 442 » Language Based Secure Communication |
144
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...
136
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
141
click to vote
ASPLOS
2012
ACM
14 years 3 days ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
150
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
134
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...