3420 search results - page 110 / 684 » A Language-Based Approach to Security |
126
click to vote
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
—The shift from mere service-oriented architectures (SOA) to semantically enriched approaches is especially being forced in multi-domain environments that the public sector in th...
124
click to vote
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
151
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Secure group communication protocols, in particular multi-party key agreement and update algorithms, help promote traditional and new Internet multi-party applications such as vid...
190
click to vote
SERVICES
2010
14 years 10 months ago
2010
In this paper we discuss the evolvement of cloud computing paradigm and present a framework for secure cloud computing through IT auditing. Our approach is to establish a general ...
126
click to vote
ESSOS
2010
Springer
16 years 20 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...