ABSTRACT Fog computing, som är en förlängning till cloud computing, har tagit itu med vissa problem som finns i molndata genom att tillhandahålla ytterligare funktioner, såsom platsmedvetenhet, låg latens, mobilitetsstöd, och så vidare. Dess unika funktioner har också öppnat en väg mot säkerhetsutmaningar, som måste fokuseras för att göra det buggfritt för användarna. Detta dokument fokuserar i huvudsak på att övervinna de säkerhetsfrågor som uppstått under data outsourcing från dimma klient till dimma nod. Vi har lagt till Shibboleth även känd som säkerhets- och korsdomänkontrollprotokoll mellan dimklient och dimnod för förbättrad och säker kommunikation mellan dimklienten och dimnoden. Dessutom för att bevisa om Shibboleth uppfyller de säkerhetskrav som krävs för att tillhandahålla säker outsourcing. Vi har också formellt verifierat protokollet mot grundläggande säkerhetsegenskaper med hjälp av hög nivå Petri nät.
Zahra m.fl. REF använde Shibboleth, även känd som säkerhets- och cross-domain access control protokoll mellan dimma en klient och en dimma nod, för att uppnå säker kommunikation mellan noder, även under osäkra nätverksförhållanden.
Fog Computing Over IoT: A Secure Deployment and Formal Verification
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}