325 search results - page 3 / 65 » Secure safe ambients |
MFCS
2004
Springer
13 years 11 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
CSL
2000
Springer
13 years 10 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
ACSAC
2007
IEEE
14 years 9 days ago
2007
IEEE
OOPSLA
2000
Springer
13 years 9 months ago
2000
Springer
HICSS
2010
IEEE
13 years 11 months ago
2010
IEEE
1 The browser has become a popular attack vector for implanting code on computer operating systems. Equally critical, important sessions, such as online banking, must be protected ...