Foundations and Practice of Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319170398, 9783319170404

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical Method for Reasoning About Access Control and Data Flow Control Models

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_13 ◽

2015 ◽

pp. 205-220 ◽

Cited By ~ 2

Author(s):

Luigi Logrippo

Keyword(s):

Access Control ◽

Flow Control ◽

Data Flow ◽

Control Models ◽

Logical Method ◽

Data Flow Control

Download Full-text

Optimizing TLS for Low Bandwidth Environments

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_10 ◽

2015 ◽

pp. 147-167 ◽

Cited By ~ 1

Author(s):

Diego A. Ortiz-Yepes

Download Full-text

Composable Oblivious Extended Permutations

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_19 ◽

2015 ◽

pp. 294-310

Author(s):

Peeter Laud ◽

Jan Willemson

Download Full-text

Automated Extraction of Vulnerability Information for Home Computer Security

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_24 ◽

2015 ◽

pp. 356-366 ◽

Cited By ~ 4

Author(s):

Sachini Weerawardhana ◽

Subhojeet Mukherjee ◽

Indrajit Ray ◽

Adele Howe

Keyword(s):

Computer Security ◽

Automated Extraction ◽

Home Computer

Download Full-text

Formal Verification of e-Reputation Protocols

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_16 ◽

2015 ◽

pp. 247-261

Author(s):

Ali Kassem ◽

Pascal Lafourcade ◽

Yassine Lakhnech

Keyword(s):

Formal Verification

Download Full-text

A Maximum Variance Approach for Graph Anonymization

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_4 ◽

2015 ◽

pp. 49-64 ◽

Cited By ~ 4

Author(s):

Hiep H. Nguyen ◽

Abdessamad Imine ◽

Michaël Rusinowitch

Keyword(s):

Maximum Variance ◽

Variance Approach

Download Full-text

Privacy by Design: On the Conformance Between Protocols and Architectures

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_5 ◽

2015 ◽

pp. 65-81 ◽

Cited By ~ 2

Author(s):

Vinh-Thong Ta ◽

Thibaud Antignac

Keyword(s):

Privacy By Design

Download Full-text

A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_9 ◽

2015 ◽

pp. 131-146 ◽

Cited By ~ 1

Author(s):

Myria Bouhaddi ◽

Mohammed Saïd Radjef ◽

Kamel Adi

Keyword(s):

Intrusion Detection ◽

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Intrusion Detection System ◽

Ad Hoc ◽

Detection System ◽

Mobile Ad Hoc ◽

Hoc Networks

Download Full-text

Privacy-Preserving Public Auditing in Cloud Computing with Data Deduplication

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_3 ◽

2015 ◽

pp. 35-48 ◽

Cited By ~ 3

Author(s):

Naelah Alkhojandi ◽

Ali Miri

Keyword(s):

Cloud Computing ◽

Privacy Preserving ◽

Data Deduplication ◽

Public Auditing

Download Full-text

On Acoustic Covert Channels Between Air-Gapped Systems

Foundations and Practice of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17040-4_1 ◽

2015 ◽

pp. 3-16 ◽

Cited By ~ 8

Author(s):

Brent Carrara ◽

Carlisle Adams

Keyword(s):

Covert Channels

Download Full-text

Foundations and Practice of Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Logical Method for Reasoning About Access Control and Data Flow Control Models

Optimizing TLS for Low Bandwidth Environments

Composable Oblivious Extended Permutations

Automated Extraction of Vulnerability Information for Home Computer Security

Formal Verification of e-Reputation Protocols

A Maximum Variance Approach for Graph Anonymization

Privacy by Design: On the Conformance Between Protocols and Architectures

A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks

Privacy-Preserving Public Auditing in Cloud Computing with Data Deduplication

On Acoustic Covert Channels Between Air-Gapped Systems

Foundations and Practice of Security - Lecture Notes in Computer Science
Latest Publications