Searching for authors named "Stefanos Gritzalis" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Policy-ruled Knowledge Dissemination Architecture for Supporting multi-domain Secure Interoperation”, The eJournal for Electronic
- …The systematic and effective management of existing knowledge can significantly assist organizations develop quick mechanisms able to respond to various change-driven demands. Knowledge Management (KM) systems have been effectively deployed for more than two decades, incorporating Information Retrie…
- Cited by 1 (0 self) – Add To MetaCart
-
Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification
- …Formal methods, theory, and supporting tools can aid the design, analysis, and verification of the security -related and cryptographic protocols used over open networks and distributed systems. The most commonly followed techniques for the application of formal methods for the ex-post analysis and v…
- Cited by 17 (0 self) – Add To MetaCart
-
The Cascade Vulnerability problem: The Detection problem and a Simulated Annealing Approach for its Correction
- …The Cascade Vulnerability Problem is a potential problem which must be faced when using the interconnected accredited system approach of the Trusted Network Interpretation. It belongs to a subset of the problem set that addresses the issue of whether the interconnection of secure systems via a secur…
- Add To MetaCart
-
Source Code Authorship Analysis for supporting the cybercrime investigation process
- …Abstract: Cybercrime has increased in severity and frequency in the recent years and because of this, it has become a major concern for companies, universities and organizations. The anonymity offered by the Internet has made the task of tracing criminal identity difficult. One study field that has …
- Cited by 2 (1 self) – Add To MetaCart
-
SIP security mechanisms: A state-of-the-art review
- …The commercial deployment of VoIP necessitates the employment of security mechanisms that can assure availability, reliability, confidentiality and integrity. The Session Initiation Protocol (SIP) is considered as the dominant signalling protocol for calls over the Internet. SIP, like other Internet…
- Cited by 3 (0 self) – Add To MetaCart
-
A formal model for pricing information systems insurance contracts
- … …
- Add To MetaCart
-
Trusted Third Party Services for Deploying Secure Telemedical Applications over the WWW
- …The EUROMED-ETS schema provides a robust security framework for telemedical applications operating over the World Wide Web. It is based on a trusted third party architecture under which certificate authorities store the public-key certificates of participating hospitals and medical practitioners. Di…
- Add To MetaCart
-
Towards a Framework for Evaluating Certificate Status Information Mechanisms
- …A wide spectrum of certificate revocation mechanisms is currently in use. A number of them have been proposed by standardisation bodies, while some others have originated from academic or private institutions. What is still missing is a systematic and robust framework for the sound evaluation of …
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 8.
